Universe::UniverseTransition class
#include <UniverseTransition.hpp>

Contents

The UniverseTransition represents a transition in a constraint representing an automaton.

Constructors, destructors, conversion operators

UniverseTransition(std::string start, int value, std::string end) explicit

Public functions

auto getStart() const -> const std::string&
auto getValue() const -> int
auto getEnd() const -> const std::string&

Function documentation

Universe::UniverseTransition::UniverseTransition(std::string start, int value, std::string end) explicit

Parameters
start The source state, where the transition begins.
value The value (object) labeling the transition.
end The target state, where the transition ends.

Creates a new UniverseTransition.

const std::string& Universe::UniverseTransition::getStart() const

Returns The source state.

Gives the source state, where the transition begins.

int Universe::UniverseTransition::getValue() const

Returns The value labeling the transition.

Gives the value (object) labeling the transition.

const std::string& Universe::UniverseTransition::getEnd() const

Returns The target state.

Gives the target state, where the transition ends.