protected IntervalEnvironmentBase
(IExpressionDecoder <TVar, TExpr> decoder,
EnvironmentDomain <TVar, TInterval> varsToInterval)
{
Decoder = decoder;
vars_to_intervals = varsToInterval;
}
protected override IntervalEnvironmentBase <TVar, TExpr, DisInterval, Rational> NewInstance(
EnvironmentDomain <TVar, DisInterval> varsToIntervals)
{
return(new DisIntervalEnvironment <TVar, TExpr> (Decoder, varsToIntervals));
}
DisIntervalEnvironment(IExpressionDecoder <TVar, TExpr> decoder,
EnvironmentDomain <TVar, DisInterval> varsToInterval)
: base(decoder, varsToInterval)
{
}
public static ExprDomain <TSymValue> TopValue(Func <TSymValue, int> keyConverter)
{
return(new ExprDomain <TSymValue> (EnvironmentDomain <TSymValue, FlatDomain <Expr <TSymValue> > > .TopValue(keyConverter)));
}
private ExprDomain(EnvironmentDomain <TSymValue, FlatDomain <Expr <TSymValue> > > expressions)
{
this.expressions = expressions;
}
protected IntervalEnvironmentBase(IExpressionDecoder <TVar, TExpr> decoder)
: this(decoder, EnvironmentDomain <TVar, TInterval> .TopValue(null))
{
}
protected abstract IntervalEnvironmentBase <TVar, TExpr, TInterval, TNumeric> NewInstance(EnvironmentDomain <TVar, TInterval> varsToIntervals);