Package stanfordlogic.prover

Examples of stanfordlogic.prover.TermFunction

53
54
55
56
57
58
59
60
61
62
63
   
    public void testFunctionVarMapping()
    {
        Fact f1 = makeFact("legal ?x");
       
        TermFunction tf = getTermFunction("mark ?y ?z");
       
        TermVariable varX = getVariable("?x");
        TermVariable varY = getVariable("?y");
        TermVariable varZ = getVariable("?z");
       
View Full Code Here
TOP

Related Classes of stanfordlogic.prover.TermFunction

  • stanfordlogic.test.prover.TestSubstitution
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.