enum class PathQuantifier
Specifies the type of the temporal path quantifier used by the HUCTLp Formula.
All future paths
Exists future path
All past paths
Exists past path