Esempi in C# (CSharp) per CNL.DL.Statement

Esempio n. 1

        public bool IsEntailed(CNL.DL.Statement e)
        {
            if (!isImported)
            {
                return(false);
            }

            entailmentFound = null;
            askMode         = true;
            e.accept(this);
            askMode = false;
            if (!entailmentFound.HasValue)
            {
                return(others.Contains(ser.Serialize(e)));
            }
            else
            {
                return(entailmentFound.Value);
            }
        }