Package tools.refinery.logic.literal

Class CheckLiteral

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

tools.refinery.logic.literal.CheckLiteral

All Implemented Interfaces:

CanNegate<CheckLiteral>, Literal

public class CheckLiteral
extends AbstractLiteral
implements CanNegate<CheckLiteral>

Constructor Summary

Constructors

Constructor	Description
CheckLiteral(Term<Boolean> term)

Method Summary

Modifier and Type	Method	Description
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, Literal other)
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getOutputVariables()
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
Term<Boolean>	getTerm()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
CheckLiteral	negate()
Literal	reduce()
Literal	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

Constructor Details

CheckLiteral

public CheckLiteral(Term<Boolean> term)

Method Details

getTerm

public Term<Boolean> getTerm()

getOutputVariables

public Set<Variable> getOutputVariables()

Specified by:

getOutputVariables in interface Literal

getInputVariables

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

Specified by:

getInputVariables in interface Literal

getPrivateVariables

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

Specified by:

getPrivateVariables in interface Literal

substitute

public Literal substitute(Substitution substitution)

Specified by:

substitute in interface Literal

negate

public CheckLiteral negate()

Specified by:

negate in interface CanNegate<CheckLiteral>

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

reduce

public Literal reduce()

Specified by:

reduce in interface Literal

toString

public String toString()

Overrides:

toString in class Object