|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectInstantiation
public class Instantiation
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 |
---|
public Instantiation()
public Instantiation(int var, int val)
public Instantiation(IntSet varSet, int[] valArray)
Method Detail |
---|
public String toString()
toString
in class Object
public boolean consistent(Instantiation inst)
public Instantiation merge(Instantiation inst)
public Map convertToIL1(Converter converter)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |