Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
OperatorsIntrospectionCommand.h
Go to the documentation of this file.
1
6#pragma once
7
8#include <ast/Command.h>
10#include <alib/list>
12
13namespace cli {
14
17
18 template < class Operators > // INFO ok, only called from run inside OperatorsIntrospectionCommand.cpp
19 static void printOperators ( const ext::list < ext::pair < Operators, abstraction::AlgorithmFullInfo > > & overloads );
20
21public:
23
24 CommandResult run ( Environment & /* environment */ ) const override;
25};
26
27} /* namespace cli */
28
Definition: Command.h:14
Definition: Environment.h:29
Definition: OperatorsIntrospectionCommand.h:15
CommandResult run(Environment &) const override
Definition: OperatorsIntrospectionCommand.cpp:50
Class extending the list class from the standard library. Original reason is to allow printing of the...
Definition: list.hpp:44
Definition: ostream.h:14
Class extending the pair class from the standard library. Original reason is to allow printing of the...
Definition: pair.hpp:43
for(const StateType &state :fsm.getStates()) renamingData.insert(std Rename::RenamedAutomaton< T > result(renamingData.at(fsm.getInitialState()))
Definition: Rename.h:253
Definition: Arg.h:11
CommandResult
Definition: CommandResult.h:10