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