| com.github.sybila.Binary |
Common interface for binary operators. |
| com.github.sybila.huctl.CompareOp |
Specifies the type of the comparison operator used by the Formula.Numeric propositions. |
| com.github.sybila.huctl.DirFormula |
Formulas that are used to describe the direction of the temporal path. |
| com.github.sybila.huctl.Direction |
Specifies the direction in which one moves in the transition system. |
| kotlin.Double (extensions in package com.github.sybila.huctl.dsl) | |
| com.github.sybila.huctl.Expression |
Arithmetic expressions which are used in the Formula.Numeric proposition. |
| java.io.File (extensions in package com.github.sybila.huctl.parser) | |
| com.github.sybila.huctl.Flow |
Specifies the type of transition between two states. |
| com.github.sybila.huctl.Formula |
An HUCTLp Formula that can be used to describe general temporal properties. |
| com.github.sybila.huctl.PathQuantifier |
Specifies the type of the temporal path quantifier used by the HUCTLp Formula. |
| kotlin.String (extensions in package com.github.sybila.huctl.dsl) | |
| kotlin.String (extensions in package com.github.sybila.huctl.parser) | |
| com.github.sybila.huctl.Temporal |
Common interface for temporal Formulas. |
| com.github.sybila.TreeNode |
Interface implemented by elements of a tree. |
| com.github.sybila.Unary |
Common interface for unary operators. |