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 Object
implements VariableAttribute

Constructor Summary

Constructors

Modifier	Constructor	Description
private	DifVariableAttribute()

Method Summary

Modifier and Type	Method	Description
String	getName()
Term	join(Term a, Term b)
boolean	postUnify(Variable variable, Term input)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DifVariableAttribute

private DifVariableAttribute()

Method Details

getName

public String getName()

Specified by:

getName in interface VariableAttribute

postUnify

public boolean postUnify(Variable variable,
 Term input)

Specified by:

postUnify in interface VariableAttribute

join

public Term join(Term a,
 Term b)

Specified by:

join in interface VariableAttribute