Class Dif.DifVariableAttribute
- java.lang.Object
-
- org.projog.core.predicate.builtin.reif.Dif.DifVariableAttribute
-
- All Implemented Interfaces:
VariableAttribute
- Enclosing class:
- Dif
private static final class Dif.DifVariableAttribute extends java.lang.Object implements VariableAttribute
-
-
Constructor Summary
Constructors Modifier Constructor Description privateDifVariableAttribute()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.StringgetName()Termjoin(Term a, Term b)booleanpostUnify(Variable variable, Term input)
-
-
-
Method Detail
-
getName
public java.lang.String getName()
- Specified by:
getNamein interfaceVariableAttribute
-
postUnify
public boolean postUnify(Variable variable, Term input)
- Specified by:
postUnifyin interfaceVariableAttribute
-
join
public Term join(Term a, Term b)
- Specified by:
joinin interfaceVariableAttribute
-
-