io.github.contractautomata.catlib.automaton.state.package-info Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of catlib Show documentation

Library for specifying and verifying contract automata.

The newest version!

/**
 * The state package  groups the classes implementing states of automata.

 * AbstractState is the (abstract) super class, where a state can be initial or final and has a label.

 * A BasicState implements an AbstractState of a single participant, it has rank 1 and the label of the

 * state cannot have further inner components.

 * A State implements an AbstractState with a rank: it is a list of basic states.

 *
 * Class diagram of this package:

 *
 * 
 *
 */
package io.github.contractautomata.catlib.automaton.state;