Hybrid

RegexTranslator

handleApplicationPoint

BackwardsSaturation CutSaturation ForwardsSaturation LengthAbstraction

handleGoal

Splitter OstrichClose OstrichCut OstrichIntersect OstrichStrInReTranslator

handleSolution

OstrichEqualityPropagator

hasEdge

Box

hasRegister

UnaryFinalConstraints

hasValue

StrDatabase

hashCode

Box CaleyGraph