Package tools.refinery.store.reasoning.literal

Class PartialCheckLiteral

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

tools.refinery.store.reasoning.literal.PartialCheckLiteral

All Implemented Interfaces:

CanNegate<PartialCheckLiteral>, Literal, TermLiteral<TruthValue>

public class PartialCheckLiteral
extends AbstractLiteral
implements CanNegate<PartialCheckLiteral>, TermLiteral<TruthValue>

Constructor Summary

Constructors

Constructor	Description
PartialCheckLiteral(Term<TruthValue> 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<TruthValue>	getTerm()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
PartialCheckLiteral	negate()
Literal	reduce()
Literal	substitute(Substitution substitution)
String	toString()
PartialCheckLiteral	withTerm(Term<TruthValue> term)

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

PartialCheckLiteral

public PartialCheckLiteral(Term<TruthValue> term)

Method Details

getTerm

public Term<TruthValue> getTerm()

Specified by:

getTerm in interface TermLiteral<TruthValue>

withTerm

public PartialCheckLiteral withTerm(Term<TruthValue> term)

Specified by:

withTerm in interface TermLiteral<TruthValue>

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 PartialCheckLiteral negate()

Specified by:

negate in interface CanNegate<PartialCheckLiteral>

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