FirstOrderTheory-0.1.0.6: Grammar and typeclass for first order theories

Index

ArityFirstOrderTheory.Utils
AtomFirstOrderTheory.Syntax
atomFirstOrderTheory.Syntax
atomArgsFirstOrderTheory.Syntax
decideSatFirstOrderTheory.Theory
FirstOrderTheoryFirstOrderTheory.Theory
funcFirstOrderTheory.Syntax
funcArgsFirstOrderTheory.Syntax
FunctionDeclFirstOrderTheory.Theory
functionDeclFirstOrderTheory.Theory
functionsFirstOrderTheory.Theory
getAtomFirstOrderTheory.Syntax
intConstFirstOrderTheory.Syntax
intValFirstOrderTheory.Syntax
isFunctionWithNameFirstOrderTheory.Syntax
isNegFirstOrderTheory.Syntax
litFirstOrderTheory.Syntax
LiteralFirstOrderTheory.Syntax
NameFirstOrderTheory.Utils
negateLitFirstOrderTheory.Syntax
nLitFirstOrderTheory.Syntax
nnfConFirstOrderTheory.Syntax, FirstOrderTheory.Theory
nnfDisFirstOrderTheory.Syntax, FirstOrderTheory.Theory
NNFFormulaFirstOrderTheory.Syntax
nnfLitFirstOrderTheory.Syntax, FirstOrderTheory.Theory
PredicateDeclFirstOrderTheory.Theory
predicateDeclFirstOrderTheory.Theory
predicateNameFirstOrderTheory.Syntax
predicatesFirstOrderTheory.Theory
SortFirstOrderTheory.Utils
sortFirstOrderTheory.Utils
sortsFirstOrderTheory.Theory
TermFirstOrderTheory.Syntax
theoryNameFirstOrderTheory.Theory
toPropositionalCNFFirstOrderTheory.Syntax
varFirstOrderTheory.Syntax
varNameFirstOrderTheory.Syntax