il2.util
Class MPE
Object
MPE
public class MPE
- extends Object
- Since:
- 20060119
- Author:
- hei chan
MPE
public MPE()
MPE
public MPE(ArrayList instList)
MPE
public MPE(IntSet vars,
int[] current)
size
public int size()
- Since:
- 20060123
convertToIL1
public Map[] convertToIL1(Converter converter)
add
public void add(Instantiation inst)
- Since:
- 20060123
addAll
public void addAll(MPE mpe)
merge
public static MPE merge(MPE mpe1,
MPE mpe2)
contains
public boolean contains(IntSet vars,
int[] current)
toString
public String toString()
- Overrides:
toString
in class Object
Copyright 2010 UCLA Automated Reasoning Group