Esempi in C# (CSharp) per XpertiumSharp.Logic XSignature

Esempio n. 1

File: XLogicalInterpreter.cs Progetto: ConteDevel/xpertium-sharp

        private bool VerifySignature(XSignature signature)
        {
            foreach (var s in Database.Signatures)
            {
                if (signature.Name == s.Name)
                {
                    if (signature.Arity != s.Arity)
                    {
                        return(false);
                    }

                    return(true);
                }
            }

            return(false);
        }

Esempio n. 2

File: XClause.cs Progetto: ConteDevel/xpertium-sharp

 public XClause(IXExpression body, XSignature signature, params XVar[] vars) : this(body, new XPredicate(signature, vars))
 {
 }