public static int GetIndex(MonaLogicalOperator op) { switch (op) { case MonaLogicalOperator.And: return(0); case MonaLogicalOperator.If: return(1); case MonaLogicalOperator.Iff: return(2); case MonaLogicalOperator.Or: return(3); default: throw new MonaException("undefined operator"); } }
public static bool IsSymmetric(MonaLogicalOperator op) { return(op != MonaLogicalOperator.If); }
public MonaBinaryFormula(MonaFormula left, MonaFormula right, MonaLogicalOperator op) { this.phi1 = left; this.phi2 = right; this.op = op; }
public static int GetIndex(MonaLogicalOperator op) { switch (op) { case MonaLogicalOperator.And: return 0; case MonaLogicalOperator.If: return 1; case MonaLogicalOperator.Iff: return 2; case MonaLogicalOperator.Or: return 3; default: throw new MonaException("undefined operator"); } }
public static bool IsSymmetric(MonaLogicalOperator op) { return op != MonaLogicalOperator.If; }