| Methods in ubc.cs.JLog.Builtins that return jBinaryBuiltinPredicate |
jBinaryBuiltinPredicate |
jCopyTerm.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jPow.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jBefore.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jMin.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jGreaterThan.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jGreaterThanEqual.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jAdd.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jLessThanEqual.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jExists.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jCreateArray.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jEnumerateVariablesArray.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jName.duplicate(jTerm lhs,
jTerm rhs)
|
protected jBinaryBuiltinPredicate |
jMod.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jAfter.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jRealDivide.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jATan2.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jMax.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jMultiply.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jBitwiseConjunction.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jLessThan.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jKeysort.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jAppendArray.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jEqual.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jAfterEqual.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jBitwiseExclusiveDisjunction.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jNotEquivalence.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jTermToList.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jEquivalent.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jBitwiseDisjunction.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jBitwiseRightShift.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jEquivalence.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jNotUnify.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jSort.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jNotEquivalent.duplicate(jTerm l,
jTerm r)
|
jBinaryBuiltinPredicate |
jIs.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jBeforeEqual.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jBitwiseLeftShift.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jNotEqual.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jIntegerDivide.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jSubtract.duplicate(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
jLogBase.duplicate(jTerm l,
jTerm r)
|