private PolyhedraEnvironment(IExpressionDecoder <Variable, Expression> decoder, IExpressionEncoder <Variable, Expression> encoder, AI.PolyhedraLattice.Element value, IntervalEnvironment <Variable, Expression> intv)
{
this.decoder = decoder;
this.encoder = encoder;
this.embedded = value;
this.intv = intv;
this.testTrueVisitor = new PolyhedraEnvironment <Expression> .PolyhedraTestTrueVisitor(decoder);
this.testFalseVisitor = new PolyhedraEnvironment <Expression> .PolyhedraTestFalseVisitor(decoder);
this.testTrueVisitor.FalseVisitor = this.testFalseVisitor;
this.testFalseVisitor.TrueVisitor = this.testTrueVisitor;
}
public PolyhedraEnvironment(IExpressionDecoder <Variable, Expression> decoder, IExpressionEncoder <Variable, Expression> encoder)
{
this.decoder = decoder;
this.encoder = encoder;
this.embedded = UnderlyingPolyhedra.Top;
this.intv = new IntervalEnvironment <Variable, Expression>(decoder, encoder);
this.testTrueVisitor = new PolyhedraEnvironment <Expression> .PolyhedraTestTrueVisitor(decoder);
this.testFalseVisitor = new PolyhedraEnvironment <Expression> .PolyhedraTestFalseVisitor(decoder);
this.testTrueVisitor.FalseVisitor = this.testFalseVisitor;
this.testFalseVisitor.TrueVisitor = this.testTrueVisitor;
}
private PolyhedraEnvironment(PolyhedraEnvironment <Expression> pe, AI.PolyhedraLattice.Element value, IntervalEnvironment <Variable, Expression> intv)
: this(pe.decoder, pe.encoder, value, intv)
{
testTrueVisitor = pe.testTrueVisitor;
testFalseVisitor = pe.testFalseVisitor;
}
