public StatisticsLattice(Lattice /*!*/ lattice)
: base(lattice.valueExprFactory)
{
Contract.Requires(lattice != null);
this.lattice = lattice;
// base(lattice.valueExprFactory);
}
public static void Init(IExpressionDecoder <Variable, Expression> decoder, IExpressionEncoder <Variable, Expression> encoder)
{
linearfactory = new LinearExpFactory <Expression>(decoder, encoder);
propfactory = new PropFactory <Expression>(decoder, encoder);
UnderlyingPolyhedra = new AI.PolyhedraLattice(linearfactory, propfactory);
UnderlyingPolyhedra.Validate();
}
public LatticeQueryable(Lattice /*!*/ lattice, Lattice.Element /*!*/ element)
{
Contract.Requires(element != null);
Contract.Requires(lattice != null);
this.lattice = lattice;
this.element = element;
// base();
}
public static Elt /*!*/ Bottom(ArrayList /*<Lattice>*//*!*/ lattices)
{
Contract.Requires(lattices != null);
Contract.Ensures(Contract.Result <Elt>() != null);
Elt multiValue = new Elt(lattices.Count, true);
for (int i = 0; i < lattices.Count; i++)
{
Lattice d = (Lattice /*!*/)cce.NonNull(lattices[i]);
multiValue[d.Index] = d.Bottom;
}
Debug.Assert(multiValue.IsValid);
return(multiValue);
}
public void AddLattice(Lattice lattice)
{
this.lattices.Add(lattice);
}
public LatticeQueryable(Lattice/*!*/ lattice, Lattice.Element/*!*/ element) {
Contract.Requires(element != null);
Contract.Requires(lattice != null);
this.lattice = lattice;
this.element = element;
// base();
}
public StatisticsLattice(Lattice/*!*/ lattice)
: base(lattice.valueExprFactory) {
Contract.Requires(lattice != null);
this.lattice = lattice;
// base(lattice.valueExprFactory);
}
public void AddLattice(Lattice lattice) {
this.lattices.Add(lattice);
}
