public static int SortOrder(this ComplexWFF f)
{
if (f is Connective)
{
return(SortOrder((Connective)f));
}
else if (f is Quantifier)
{
return(SortOrder((Quantifier)f));
}
throw new NotImplementedException(f.GetType().ToString());
}
private List <WFF> IdentityDecompose(Identity i, ComplexWFF f)
{
if (f is Connective)
{
return(IdentityDecompose(i, (Connective)f));
}
else if (f is Quantifier)
{
return(IdentityDecompose(i, (Quantifier)f));
}
throw new NotImplementedException(f.GetType().ToString());
}
public static bool Decomposable(this ComplexWFF f)
{
if (f is Connective)
{
return(Decomposable((Connective)f));
}
else if (f is Quantifier)
{
return(Decomposable((Quantifier)f));
}
throw new NotImplementedException(f.GetType().ToString());
}
private Decomposition DecomposeWFF(ComplexWFF f)
{
if (f is Connective)
{
return(DecomposeWFF((Connective)f));
}
else if (f is Quantifier)
{
return(DecomposeWFF((Quantifier)f));
}
throw new NotImplementedException(f.GetType().ToString());
}