private SimpleDisequalities(SimpleDisequalities <Variable, Expression> original)
: base(original)
{
decoder = original.decoder;
encoder = original.encoder;
evalConstant = original.evalConstant;
testTrueVisitor = original.testTrueVisitor;
testFalseVisitor = original.testFalseVisitor;
checkIfHoldsVisitor = original.checkIfHoldsVisitor;
}
/// <summary>
/// Construct a new domain
/// </summary>
public SimpleDisequalities(IExpressionDecoder <Variable, Expression> /*!*/ decoder,
IExpressionEncoder <Variable, Expression> /*!*/ encoder)
{
this.decoder = decoder;
this.encoder = encoder;
evalConstant = new ConstantVisitor(decoder);
testTrueVisitor = new SimpleDisequalitiesTestTrueVisitor(this.decoder, evalConstant);
testFalseVisitor = new SimpleDisequalitiesTestFalseVisitor(this.decoder);
testTrueVisitor.FalseVisitor = testFalseVisitor;
testFalseVisitor.TrueVisitor = testTrueVisitor;
checkIfHoldsVisitor = new SimpleDisequalitiesCheckIfHoldsVisitor(this.decoder, evalConstant);
}
