Package org.projog.core.term

Interface VariableAttribute

All Known Implementing Classes:

Dif.DifVariableAttribute

public interface VariableAttribute

Method Summary

Modifier and Type	Method	Description
java.lang.String	getName()
Term	join(Term a, Term b)
boolean	postUnify(Variable variable, Term attributeValue)

Method Detail

getName

java.lang.String getName()

postUnify

boolean postUnify(Variable variable,
                  Term attributeValue)

join

Term join(Term a,
          Term b)