xrel.analyzer
Interfaces 
TABuildPhase
TAState
Classes 
ElementAutomata
PatternMatching
SemanticChecks
TA
TADifference
TADifferenceState
TAProduct
TASimple
TAUnion
Translate
WellFormedness