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