Examples of numMappings()

Examples of stanfordlogic.prover.Substitution.numMappings()

66
67
68
69
70
71
72
73
74
75
76
        f1 = VariableFact.fromList(l1);
        f2 = GroundFact.fromList(l2);
       
        sigma = Unifier.mgu(f1, f2);
        assertNotNull(sigma);
        assertEquals(0, sigma.numMappings());
       
       
        l1 = parser_.parse("foo ?x bar");
        l2 = parser_.parse("foo baz bar");
        f1 = VariableFact.fromList(l1);
View Full Code Here

Examples of stanfordlogic.prover.Substitution.numMappings()

78
79
80
81
82
83
84
85
86
87
88
       
        sigma = Unifier.mgu( f1, f2 );
        assertNotNull(sigma);
        assertEquals( f2.getTerm( 0 ),
                sigma.getMapping( (TermVariable) f1.getTerm( 0 ) ) );
        assertEquals(1, sigma.numMappings());
       
       
        l1 = parser_.parse("foo ?x ?x");
        l2 = parser_.parse("foo baz ?y");
        f1 = VariableFact.fromList(l1);
View Full Code Here

Examples of stanfordlogic.prover.Substitution.numMappings()

91
92
93
94
95
96
97
98
99
100
101
        sigma = Unifier.mgu(f1,f2);
        assertNotNull(sigma);
        assertEquals( f2.getTerm(0), sigma.getMapping( (TermVariable) f1.getTerm(0)) );
        assertEquals( f2.getTerm(0), sigma.getMapping( (TermVariable) f1.getTerm(1)) );
        assertEquals( f2.getTerm(0), sigma.getMapping( (TermVariable) f2.getTerm(1)) );
        assertEquals(2, sigma.numMappings());
    }
   
    public void testFunctionMgu()
    {
        GdlList l1, l2;
View Full Code Here

Examples of stanfordlogic.prover.Substitution.numMappings()

108
109
110
111
112
113
114
115
116
117
118
        f2 = VariableFact.fromList(l2);
       
        sigma = Unifier.mgu(f1, f2);
        assertNotNull(sigma);
        assertEquals( f1.getTerm(0), sigma.getMapping( (TermVariable) f2.getTerm(0)) );
        assertEquals(1, sigma.numMappings());
    }
   
    public void testBadMgu()
    {
        GdlList l1, l2;
View Full Code Here

Examples of stanfordlogic.prover.Substitution.numMappings()

194
195
196
197
198
199
200
201
202
203
204
        f1 = VariableFact.fromList(l1);
        f2 = (VariableFact) VariableFact.fromList(l2).uniquefy();
       
        sigma = Unifier.mgu(f1,f2);
        assertNotNull(sigma);
        assertEquals(1, sigma.numMappings());
    }
   
    public void testIdenticalVariableNames()
    {
        GdlList l1, l2;
View Full Code Here

Examples of stanfordlogic.prover.Substitution.numMappings()

210
211
212
213
214
215
216
217
218
219
220
        f1 = VariableFact.fromList(l1);
        f2 = (VariableFact) VariableFact.fromList(l2).uniquefy();
       
        sigma = Unifier.mgu(f1,f2);
        assertNotNull(sigma);
        assertEquals(2, sigma.numMappings());
    }
   
    public void testRecursiveSub()
    {
        GdlList l1, l2;
View Full Code Here

Examples of stanfordlogic.prover.Substitution.numMappings()

226
227
228
229
230
231
232
233
        f1 = VariableFact.fromList(l1);
        f2 = VariableFact.fromList(l2);
       
        sigma = Unifier.mgu(f1,f2);
        assertNotNull(sigma);
        assertTrue(sigma.numMappings() == 3);
    }
}
View Full Code Here

Examples of stanfordlogic.prover.Substitution.numMappings()

44
45
46
47
48
49
50
51
52
53
54
        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) );
    }
   
    public void testFunctionVarMapping()
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.