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());
        }
Example #2
0
        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());
        }
Example #4
0
        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());
        }