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 override void Validate() { base.Validate(); lattice.Validate(); }