44 #ifndef __STATE_ENUM_H__
45 #define __STATE_ENUM_H__
55 enum PropertyOperand {
83 Logger &
operator<<( Logger & out,
const BFSM::PropertyOperand op );
87 #endif // __STATE_ENUM_H__
The core namespace. All elements of Menge are contained in this namespace.
Definition: AgentGenerator.cpp:43
Logger & operator<<(Logger &out, const BFSM::PropertyOperand op)
Friend function for printing string versions of the PropertyOperand enum.
Definition: FSMEnumeration.cpp:43
The specificaiton of a message logger for menge, such that all messages to the system get properly re...
The namespace contains the Behavior Finite State Machine (BFSM) definition.