public static TValueHandle IfThenElse <TValueHandle>(
BoolHandle condition,
TValueHandle valueTrue,
TValueHandle valueFalse)
where TValueHandle : struct, IHandle
{
Contract.Requires <ArgumentException>(
valueTrue.Expression.Sort == valueFalse.Expression.Sort,
nameof(valueFalse));
var expression = ExpressionFactory.IfThenElse(
condition.Expression,
valueTrue.Expression,
valueFalse.Expression);
return(new TValueHandle()
{
Expression = expression
});
}
public BoolHandle Implies(BoolHandle right)
{
return(Implies(this, right));
}
public static BoolHandle Implies(BoolHandle left, BoolHandle right)
{
return((BoolHandle)ExpressionFactory.Implies(left.Expression, right.Expression));
}
