Package stanfordlogic.prover

Examples of stanfordlogic.prover.TermVariable

37
38
39
40
41
42
43
44
45
46
47
48
    public void testSubstitution()
    {
        Substitution s = new Substitution();
       
        TermVariable v1 = TermVariable.makeTermVariable();
        TermVariable v2 = TermVariable.makeTermVariable();
        TermObject t = TermObject.makeTermObject(256);
       
        s.addMapping( v1, v2 );
        s.addMapping( v2, t );
       
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
66
67
    {
        Fact f1 = makeFact("legal ?x");
       
        TermFunction tf = getTermFunction("mark ?y ?z");
       
        TermVariable varX = getVariable("?x");
        TermVariable varY = getVariable("?y");
        TermVariable varZ = getVariable("?z");
       
        Substitution s = new Substitution();
        s.addMapping(varX, tf);
        s.addMapping(varY, getTermObject("1"));
        s.addMapping(varZ, getTermObject("2"));
View Full Code Here
88
89
90
91
92
93
94
        return TermObject.makeTermObject( parser_.getSymbolTable().get(str) );
    }
   
    private TermVariable getVariable(String str)
    {
        return new TermVariable( parser_.getSymbolTable().get(str.substring(1)) );
    }
View Full Code Here
TOP

Related Classes of stanfordlogic.prover.TermVariable

  • 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.