Package stanfordlogic.prover

Examples of stanfordlogic.prover.Substitution.addMapping()

41
42
43
44
45
46
47
48
49
50
51
       
        TermVariable v1 = TermVariable.makeTermVariable();
        TermVariable v2 = TermVariable.makeTermVariable();
        TermObject t = TermObject.makeTermObject(256);
       
        s.addMapping( v1, v2 );
        s.addMapping( v2, t );
       
        assertEquals(2, s.numMappings() );
        assertEquals(t, s.getMapping(v1) );
        assertEquals(t, s.getMapping(v2) );
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
        TermVariable v1 = TermVariable.makeTermVariable();
        TermVariable v2 = TermVariable.makeTermVariable();
        TermObject t = TermObject.makeTermObject(256);
       
        s.addMapping( v1, v2 );
        s.addMapping( v2, t );
       
        assertEquals(2, s.numMappings() );
        assertEquals(t, s.getMapping(v1) );
        assertEquals(t, s.getMapping(v2) );
    }
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
        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"));
       
       
        Fact result = (Fact) f1.applySubstitution(s);
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
        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"));
       
       
        Fact result = (Fact) f1.applySubstitution(s);
       
View Full Code Here
62
63
64
65
66
67
68
69
70
71
72
        TermVariable varZ = getVariable("?z");
       
        Substitution s = new Substitution();
        s.addMapping(varX, tf);
        s.addMapping(varY, getTermObject("1"));
        s.addMapping(varZ, getTermObject("2"));
       
       
        Fact result = (Fact) f1.applySubstitution(s);
       
        assertEquals( makeFact("legal (mark 1 2)"), result );
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.