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");
     }
 }
示例#3
0
 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;
 }