protected void Check(CtlFormula actual, Formula expected) { Check(actual.Formula, expected); }
/// <summary> /// Returns a <see cref="CtlFormula" /> that applies the equivalence operator to this instance and /// <paramref name="formula" />. /// </summary> /// <param name="formula">The formula that should be equivalent.</param> public CtlFormula EquivalentTo(CtlFormula formula) { Requires.NotNull(formula, () => formula); return new CtlFormula(new BinaryFormula(Formula, BinaryFormulaOperator.Equivalence, PathQuantifier.None, formula.Formula)); }
public C() { F = (CtlFormula)(M0() == M2(M(33), true)); }
/// <summary> /// Returns a <see cref="CtlFormula" /> that applies the implication operator to this instance (the antecedent) and /// <paramref name="formula" /> (the succedent). /// </summary> /// <param name="formula">The formula representing the succedent of the implication.</param> public CtlFormula Implies(CtlFormula formula) { Requires.NotNull(formula, () => formula); return new CtlFormula(new BinaryFormula(Formula, BinaryFormulaOperator.Implication, PathQuantifier.None, formula.Formula)); }
private void CheckArgumentConversion(CtlFormula actual, Formula expected) { Check(actual, expected); }