Uses of Class
astra.messaging.Utilities.PredicateState

Packages that use Utilities.PredicateState

Package	Description
astra.messaging

Uses of Utilities.PredicateState in astra.messaging

Methods in astra.messaging that return Utilities.PredicateState

Modifier and Type	Method	Description
static Utilities.PredicateState	Utilities.toPredicateState(Formula formula)

Methods in astra.messaging with parameters of type Utilities.PredicateState

Modifier and Type	Method	Description
static Formula	Utilities.fromPredicateState(Utilities.PredicateState state)