at.jku.risc.stout.urau.algo
public class AntiUnifyProblem extends Object implements Equation, Cloneable
Modifier and Type | Field and Description |
---|---|
Variable |
generalizationVar |
static String |
PRINT_EQ_SEPARATOR |
Constructor and Description |
---|
AntiUnifyProblem()
Obtain an empty AUP with a fresh hedge variable as generalization
variable.
|
AntiUnifyProblem(Hedge left,
Hedge right)
Create an AUP with a fresh hedge variable as generalization variable and
the given hedges.
|
AntiUnifyProblem(Variable generalizationVar,
TermNode left,
TermNode right)
Create an AUP with the given generalization variable and hedges.
|
Modifier and Type | Method and Description |
---|---|
void |
addLeft(TermNode left)
Adds a TermNode to the left hedge of the equation.
|
void |
addRight(TermNode right)
Adds a TermNode to the left hedge of the equation.
|
AntiUnifyProblem |
clone() |
TermNode |
createTermNode()
Create a TermNode of the generalization variable.
|
TermNode |
getLeft()
Returns the left node of this AUP.
|
TermNode |
getRight()
Returns the right node of this AUP.
|
boolean |
isEmpty() |
String |
toString() |
public Variable generalizationVar
public static String PRINT_EQ_SEPARATOR
public AntiUnifyProblem()
public AntiUnifyProblem(Hedge left, Hedge right)
public void addLeft(TermNode left)
Equation
public void addRight(TermNode right)
Equation
public AntiUnifyProblem clone()
public TermNode getLeft()
public TermNode getRight()
public boolean isEmpty()