package preds
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- class Atom extends Formula with SortedWithOrder[Atom] with IndexedSeq[LinearCombination]
- class PredConj extends Formula with SortedWithOrder[PredConj]
A class for representing a conjunction of positive and negative predicate literals
- class Predicate extends AnyRef
- class ReduceWithPredLits extends AnyRef
Class for reducing a conjunction of predicate literals using a set of known literals (facts).
Class for reducing a conjunction of predicate literals using a set of known literals (facts). This reduction can be done modulo the axiom of functionality (for predicates encoding functions or partial functions), and then potentially replaces predicate literals with simple equations.