il2.util
Class MPE

Object
  extended by MPE

public class MPE
extends Object

Since:
20060119
Author:
hei chan

Constructor Summary
MPE()
           
MPE(ArrayList instList)
           
MPE(IntSet vars, int[] current)
           
 
Method Summary
 void add(Instantiation inst)
           
 void addAll(MPE mpe)
           
 boolean contains(IntSet vars, int[] current)
           
 Map[] convertToIL1(Converter converter)
           
static MPE merge(MPE mpe1, MPE mpe2)
           
 int size()
           
 String toString()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MPE

public MPE()

MPE

public MPE(ArrayList instList)

MPE

public MPE(IntSet vars,
           int[] current)
Method Detail

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