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); }