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;
}