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