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
In mathematical logic, a literal is an atomic formula or its negation. A literal is a formula that is either true
or false, but not both. It is a basic building block of logic.
A clause is a propositional (well-formed) formula formed from a finite collection of literals and logical connectives.
-
Method Summary
Modifier and TypeMethodDescriptionboolean
equalsWithSubstitution
(LiteralEqualityHelper helper, Literal other) getInputVariables
(Set<? extends Variable> positiveVariablesInClause) getPrivateVariables
(Set<? extends Variable> positiveVariablesInClause) int
default Literal
reduce()
substitute
(Substitution substitution)
-
Method Details
-
getOutputVariables
-
getInputVariables
-
getPrivateVariables
-
substitute
-
reduce
-
equalsWithSubstitution
-
hashCodeWithSubstitution
-