| com.github.sybila |
Defines general interfaces for tree-like data structures and standard function operations on these interfaces. |
| com.github.sybila.huctl |
Defines data structures representing HUCTLp formulas, direction restriction formulas and corresponding atomic propositions. |
| com.github.sybila.huctl.dsl |
Defines functions for simple construction of HUCTLp (and related) formulas. |
| com.github.sybila.huctl.parser |
Defines the functions (and corresponding extension functions) for parsing HUCTLp formulas, direction restrictions and numeric expressions. |