FirstOrderTheory-0.1.0.6: Grammar and typeclass for first order theories (Index)

FirstOrderTheory-0.1.0.6: Grammar and typeclass for first order theories

Index

Arity	FirstOrderTheory.Utils
Atom	FirstOrderTheory.Syntax
atom	FirstOrderTheory.Syntax
atomArgs	FirstOrderTheory.Syntax
decideSat	FirstOrderTheory.Theory
FirstOrderTheory	FirstOrderTheory.Theory
func	FirstOrderTheory.Syntax
funcArgs	FirstOrderTheory.Syntax
FunctionDecl	FirstOrderTheory.Theory
functionDecl	FirstOrderTheory.Theory
functions	FirstOrderTheory.Theory
getAtom	FirstOrderTheory.Syntax
intConst	FirstOrderTheory.Syntax
intVal	FirstOrderTheory.Syntax
isFunctionWithName	FirstOrderTheory.Syntax
isNeg	FirstOrderTheory.Syntax
lit	FirstOrderTheory.Syntax
Literal	FirstOrderTheory.Syntax
Name	FirstOrderTheory.Utils
negateLit	FirstOrderTheory.Syntax
nLit	FirstOrderTheory.Syntax
nnfCon	FirstOrderTheory.Syntax, FirstOrderTheory.Theory
nnfDis	FirstOrderTheory.Syntax, FirstOrderTheory.Theory
NNFFormula	FirstOrderTheory.Syntax
nnfLit	FirstOrderTheory.Syntax, FirstOrderTheory.Theory
PredicateDecl	FirstOrderTheory.Theory
predicateDecl	FirstOrderTheory.Theory
predicateName	FirstOrderTheory.Syntax
predicates	FirstOrderTheory.Theory
Sort	FirstOrderTheory.Utils
sort	FirstOrderTheory.Utils
sorts	FirstOrderTheory.Theory
Term	FirstOrderTheory.Syntax
theoryName	FirstOrderTheory.Theory
toPropositionalCNF	FirstOrderTheory.Syntax
var	FirstOrderTheory.Syntax
varName	FirstOrderTheory.Syntax