Package tools.refinery.logic.literal

Interface Literal

All Known Subinterfaces:

CanNegate<T>

All Known Implementing Classes:

AbstractCallLiteral, AbstractCountLiteral, AbstractLiteral, AggregationLiteral, AssignLiteral, BooleanLiteral, CallLiteral, CheckLiteral, ConstantLiteral, CountLiteral, EquivalenceLiteral, LeftJoinLiteral, RepresentativeElectionLiteral

public interface Literal

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)
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
default Literal	reduce()
Literal	substitute(Substitution substitution)

Method Details

getOutputVariables

Set<Variable> getOutputVariables()

getInputVariables

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

getPrivateVariables

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

substitute

Literal substitute(Substitution substitution)

reduce

default Literal reduce()

equalsWithSubstitution

boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 Literal other)

hashCodeWithSubstitution

int hashCodeWithSubstitution(LiteralHashCodeHelper helper)