| Methods in ubc.cs.JLog.Terms with parameters of type jEquivalenceMapping |
boolean |
jBuiltinPredicate.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jNullList.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jReal.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jAtom.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jCommand.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jCompoundTerm.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jListPair.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jOrPredicate.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jVariable.equivalence(jTerm term,
jEquivalenceMapping v)
|
abstract boolean |
jTerm.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jPredicate.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
iTerm.equivalence(jTerm term,
jEquivalenceMapping v)
The public interface for evaluating term equivalence (i.e., structural similarity). |
boolean |
jInteger.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jConjunctTerm.equivalence(jTerm term,
jEquivalenceMapping v)
|
boolean |
jObject.equivalence(jTerm term,
jEquivalenceMapping v)
|
protected boolean |
jBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm,
jEquivalenceMapping v)
Equivalence test arguments. |
protected boolean |
jBinaryBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm,
jEquivalenceMapping v)
|
protected boolean |
jNaryBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm,
jEquivalenceMapping v)
|
protected boolean |
jQuadaryBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm,
jEquivalenceMapping v)
|
protected boolean |
jTrinaryBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm,
jEquivalenceMapping v)
|
protected boolean |
jUnaryBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm,
jEquivalenceMapping v)
|
boolean |
jPredicate.equivalenceArguments(jCompoundTerm term,
jEquivalenceMapping v)
|