Package tools.refinery.logic.literal

Class ConstantLiteral

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

tools.refinery.logic.literal.ConstantLiteral

All Implemented Interfaces:

Literal

public class ConstantLiteral
extends AbstractLiteral

Constructor Summary

Constructors

Constructor	Description
ConstantLiteral(NodeVariable variable, int nodeId)

Method Summary

Modifier and Type	Method	Description
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, Literal other)
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
int	getNodeId()
Set<Variable>	getOutputVariables()
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
NodeVariable	getVariable()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
ConstantLiteral	substitute(Substitution substitution)
String	toString()

Methods inherited from class tools.refinery.logic.literal.AbstractLiteral

equals, hashCode

Methods inherited from class java.lang.Object

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

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

reduce

Constructor Details

ConstantLiteral

public ConstantLiteral(NodeVariable variable,
 int nodeId)

Method Details

getVariable

public NodeVariable getVariable()

getNodeId

public int getNodeId()

getOutputVariables

public Set<Variable> getOutputVariables()

getInputVariables

public Set<Variable> getInputVariables(Set<? extends Variable> positiveVariablesInClause)

getPrivateVariables

public Set<Variable> getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)

substitute

public ConstantLiteral substitute(Substitution substitution)

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 Literal other)

Specified by:

equalsWithSubstitution in interface Literal

Overrides:

equalsWithSubstitution in class AbstractLiteral

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface Literal

Overrides:

hashCodeWithSubstitution in class AbstractLiteral

toString

public String toString()

Overrides:

toString in class Object