Package tools.refinery.logic.literal

package tools.refinery.logic.literal

Related Packages

Package	Description
tools.refinery.logic

Class	Description
AbstractCallLiteral
AbstractCountLiteral<T>
AbstractLiteral
AggregationLiteral<R,T>
AssignLiteral<T>
BooleanLiteral
CallLiteral
CallPolarity	Represents the polarity of a call.
CanNegate<T extends CanNegate<T>>
CheckLiteral
Connectivity
ConstantLiteral
CountLiteral
EquivalenceLiteral
LeftJoinLiteral<T>
Literal	In mathematical logic, a literal is an atomic formula or its negation.
Literals
Reduction	Represents the possible reductions of a clause.
RepresentativeElectionLiteral