protected override Dictionary <string, FPIntegerInterval> Sample(State q)
{
Dictionary <string, FPIntegerInterval> result = new Dictionary <string, FPIntegerInterval>();
Dictionary <string, DoubleInterval> values = q.ToDictionary();
foreach (var kvp in sample)
{
AST c = kvp.Key;
FixedPointNumber fp = kvp.Value;
var valueOfAST = c.Eval(values);
result.Add(fp.Expr, Measure(valueOfAST, fp.bits, fp.decimals));
}
return(result);
}
public override bool Eval(Dictionary <string, DoubleInterval> values)
{
return(lhs.Eval(values).right < rhs.Eval(values).left);
}