Constant Field Values

Contents

• io.github.*

io.github.*

io.github.contractautomata.catlib.automaton.label.action.Address

Modifier and Type	Constant Field	Value
public static final String	ACTION_SEPARATOR	"@"
public static final String	ID_SEPARATOR	"_"

io.github.contractautomata.catlib.automaton.label.action.IdleAction

Modifier and Type	Constant Field	Value
public static final String	IDLE	"-"

io.github.contractautomata.catlib.automaton.label.action.OfferAction

Modifier and Type	Constant Field	Value
public static final String	OFFER	"!"

io.github.contractautomata.catlib.automaton.label.action.RequestAction

Modifier and Type	Constant Field	Value
public static final String	REQUEST	"?"

io.github.contractautomata.catlib.automaton.transition.ModalTransition<S1,L1,S extends State<S1>,L extends Label<L1>>

Modifier and Type	Constant Field	Value
public static final String	LAZY	"L"
public static final String	NECESSARY	"!"
public static final String	URGENT	"U"