public static bool checkContainment(SymbolicString s, ArithmeticLanguage l, BooleanExpression additionalConstraints) { var condition = containmentCondition(s, l, additionalConstraints); // Check if the containment condition is valid return(!LogicalExpression.Not(condition).isSatisfiable()); }
public static BooleanExpression Implies(BooleanExpression op1, BooleanExpression op2) { return(LogicalExpression.Or(LogicalExpression.Not(op1), op2)); }