Имя |
Описание |
CNFConstructor |
|
CNFConstructor.ArgData |
|
CNFConverter |
|
CollectAllVariables |
|
Connectors |
|
DistributeOrOverAnd |
|
ImplicationsOut |
|
NegationsIn |
|
PredicateCollector |
|
Quantifiers |
|
RemoveQuantifiers |
|
StandardizeApart |
|
StandardizeApartInPlace |
|
StandardizeApartIndexicalFactory |
|
StandardizeApartIndexicalImpl |
|
StandardizeApartResult |
|
StandardizeQuantiferVariables |
|
StandardizeQuantiferVariables.ApartIndexical |
|
SubstVisitor |
|
SubsumptionElimination |
|
Unifier |
|
VariableCollector |
|