Package astra.messaging

Class Utilities

java.lang.Object

astra.messaging.Utilities

public class Utilities
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Utilities.PredicateState

Constructor Summary

Constructors

Constructor	Description
Utilities()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Utilities

public Utilities()

Method Details

toPredicateState

public static Utilities.PredicateState toPredicateState(Formula formula)

fromPredicateState

public static Formula fromPredicateState(Utilities.PredicateState state)