Session CPP

Theories

Utility files

• Saturation
• Basic Utils
• FSet Util

Horn inference system

• Horn Autoref
• Horn Inference
• Refine Iterator
• Horn List

Ground constructions

• Ground Terms
• Ground ctxt
• Ground mctxt
• Context Extensions

Regular relations

• AGTT
• Pair Automaton
• GTT
• GTT Compose
• GTT Transitive Closure
• RRn Automata
• RR2 Infinite

FORT

• Tree Automata
• TA Clousure Const
• Bot Terms
• LV to GTT
• Context RR2
• GTT RRn
• NF
• Lift Root Step
• FOR Semantics

Implementation files

• RR2 Infinite Impl
• NF Impl
• Regular Relation Impl