adam.hpp
Go to the documentation of this file.
7 /*************************************************************************************************/ 53 /*************************************************************************************************/ 65 /*************************************************************************************************/ 530 /*************************************************************************************************/ 553 /*************************************************************************************************/ 595 /*************************************************************************************************/ 599 /*************************************************************************************************/ 603 /*************************************************************************************************/
std::size_t count_interface(name_t name) const Definition: adam.hpp:449 boost::function< void(const any_regular_t &)> monitor_value_t Definition: adam.hpp:79 friend void swap(relation_t &x, relation_t &y) Definition: adam.hpp:573 void add_relation(const line_position_t &position, const array_t &conditional, const relation_t *first, const relation_t *last) boost::function< void(bool)> monitor_invariant_t Definition: adam.hpp:76 boost::function< void(bool)> monitor_enabled_t Definition: adam.hpp:81 Definition: arg_stream.hpp:53 void update() void reinitialize() bool has_input(name_t name) const set_monitor_t(sheet_t &sheet, name_t cell_name) Definition: adam.hpp:540 Definition: virtual_machine.hpp:35 dictionary_t contributing_to_cell(name_t) const dictionary_t contributing() const Definition: functional.hpp:26 void add_constant(name_t name, const line_position_t &position, const array_t &initializer) void add_interface(name_t name, bool linked, const line_position_t &position1, const array_t &initializer, const line_position_t &position2, const array_t &expression) void add_output(name_t name, const line_position_t &position, const array_t &expression) void add_invariant(name_t name, const line_position_t &position, const array_t &expression) void add_logic(name_t name, const line_position_t &position, const array_t &expression) connection_t monitor_contributing(name_t cell, const dictionary_t &mark, const monitor_contributing_t &proc) relation_t(vector< name_t > n, line_position_t p, array_t e) Definition: adam.hpp:567 void swap(circular_queue< T > &, circular_queue< T > &) connection_t monitor_invariant_dependent(name_t output, const monitor_invariant_t &proc) connection_t monitor_enabled(name_t cell, const name_t *first, const name_t *last, const monitor_enabled_t &proc) Definition: name_fwd.hpp:42 connection_t monitor_value(name_t name, const monitor_value_t &proc) any_regular_t inspect(const array_t &expression) boost::function< void(const dictionary_t &)> monitor_contributing_t Definition: adam.hpp:80 void add_input(name_t name, const line_position_t &position, const array_t &initializer) void touch(const name_t *first, const name_t *last) A runtime polymorphic type similar to boost::any which can hold any type which models Regular... Definition: any_regular.hpp:426 bool has_output(name_t name) const |