public static int GetIndex(PDLQuantifier q)
{
switch (q)
{
case PDLQuantifier.ExistsFO: return(0);
case PDLQuantifier.ExistsSO: return(1);
case PDLQuantifier.ForallFO: return(2);
case PDLQuantifier.ForallSO: return(3);
default: throw new PDLException("undefined quantifier");
}
}
public static int GetIndex(PDLQuantifier q)
{
switch (q)
{
case PDLQuantifier.ExistsFO: return 0;
case PDLQuantifier.ExistsSO: return 1;
case PDLQuantifier.ForallFO: return 2;
case PDLQuantifier.ForallSO: return 3;
default: throw new PDLException("undefined quantifier");
}
}
