16 static int cli (
const std::shared_ptr < abstraction::Value > &
result ) {
18 std::shared_ptr < abstraction::ValueHolderInterface < int > > ptr1 = std::dynamic_pointer_cast < abstraction::ValueHolderInterface < int > > (
result );
20 return ptr1->getValue ( );
21 std::shared_ptr < abstraction::ValueHolderInterface < unsigned > > ptr2 = std::dynamic_pointer_cast < abstraction::ValueHolderInterface < unsigned > > (
result );
23 return static_cast < int > ( ptr2->getValue ( ) );
24 std::shared_ptr < abstraction::ValueHolderInterface < bool > > ptr3 = std::dynamic_pointer_cast < abstraction::ValueHolderInterface < bool > > (
result );
26 return static_cast < int > ( ! ptr3->getValue ( ) );
Definition: ResultInterpret.h:14
static int cli(const std::shared_ptr< abstraction::Value > &result)
Definition: ResultInterpret.h:16
Basic exception from which all other exceptions are derived.
Definition: CommonException.h:21
for(const StateType &state :fsm.getStates()) renamingData.insert(std Rename::RenamedAutomaton< T > result(renamingData.at(fsm.getInitialState()))
Definition: Rename.h:253