il2.util
Class Instantiation

Object
  extended by Instantiation

public class Instantiation
extends Object


Constructor Summary
Instantiation()
           
Instantiation(int var, int val)
           
Instantiation(IntSet varSet, int[] valArray)
           
 
Method Summary
 boolean consistent(Instantiation inst)
           
 Map convertToIL1(Converter converter)
           
 Instantiation merge(Instantiation inst)
           
 String toString()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Instantiation

public Instantiation()

Instantiation

public Instantiation(int var,
                     int val)

Instantiation

public Instantiation(IntSet varSet,
                     int[] valArray)
Method Detail

toString

public String toString()
Overrides:
toString in class Object

consistent

public boolean consistent(Instantiation inst)

merge

public Instantiation merge(Instantiation inst)

convertToIL1

public Map convertToIL1(Converter converter)


Copyright 2010 UCLA Automated Reasoning Group