at.jku.risc.stout.nau.algo
public class EquivarianceProblem extends Equation<NominalTerm>
Modifier and Type | Field and Description |
---|---|
static String |
eqSeparator |
Constructor and Description |
---|
EquivarianceProblem(NominalTerm left,
NominalTerm right) |
Modifier and Type | Method and Description |
---|---|
Equation<NominalTerm> |
deepCopy()
Returns a deep copy of this object.
|
void |
printString(Writer toPrint)
Writes a string representation of this object into an arbitrary
Writer.
|
static void |
printString(Writer toPrint,
NominalTerm left,
NominalTerm right) |
getLeft, getRight, setLeft, setRight
printString, toString
public static String eqSeparator
public EquivarianceProblem(NominalTerm left, NominalTerm right)
public Equation<NominalTerm> deepCopy()
DeepCopy
public void printString(Writer toPrint) throws IOException
Printable
printString
in class Printable
IOException
public static void printString(Writer toPrint, NominalTerm left, NominalTerm right) throws IOException
IOException