Package tools.refinery.logic.literal

Class AbstractLiteral

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

All Implemented Interfaces:

Literal

Direct Known Subclasses:

AbstractCallLiteral, AssignLiteral, CheckLiteral, ConstantLiteral, EquivalenceLiteral

public abstract class AbstractLiteral
extends Object
implements Literal

Constructor Summary

Constructors

Constructor	Description
AbstractLiteral()

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, Literal other)
int	hashCode()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.logic.literal.Literal

getInputVariables, getOutputVariables, getPrivateVariables, reduce, substitute

Constructor Details

AbstractLiteral

public AbstractLiteral()

Method Details

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 Literal other)

Specified by:

equalsWithSubstitution in interface Literal

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface Literal

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object