public static int GetIndex(MonaQuantifier q) { switch (q) { case MonaQuantifier.ExistsFO: return(0); case MonaQuantifier.ExistsSO: return(1); case MonaQuantifier.ForallFO: return(2); case MonaQuantifier.ForallSO: return(3); default: throw new MonaException("undefined quantifier"); } }
public static int GetIndex(MonaQuantifier q) { switch (q) { case MonaQuantifier.ExistsFO: return 0; case MonaQuantifier.ExistsSO: return 1; case MonaQuantifier.ForallFO: return 2; case MonaQuantifier.ForallSO: return 3; default: throw new MonaException("undefined quantifier"); } }
public MonaQuantifiedFormula(List <String> vars, MonaFormula phi, MonaQuantifier q) { this.phi = phi; this.vars = new List <string>(vars); this.q = q; }
public MonaQuantifiedFormula(List<String> vars, MonaFormula phi, MonaQuantifier q) { this.phi = phi; this.vars = new List<string>(vars); this.q = q; }