VariableAttribute

All Known Implementing Classes:: Dif.DifVariableAttribute

public interface VariableAttribute

Method Summary

Modifier and Type

Method

Description

String

getName()

Term

join(Term a, Term b)

boolean

postUnify(Variable variable, Term attributeValue)

Method Details
- getName
  
  String getName()
- postUnify
  
  boolean postUnify(Variable variable, Term attributeValue)
- join
  
  Term join(Term a, Term b)