WeakNext

ltl

WeakPower

rltl

WeakPrevious

ltl

WeakSequential

rltl

WeakUniSequential

rltl

WeakUntil

ltl

weakNext

SaltLtlBuilder

weakNextInPast

SaltLtlBuilder

weakPower

ApaSpecular

weakUntil

SaltLtlBuilder

weakUntilInPast

SaltLtlBuilder