add(Ctc &static_ctc, const std::vector< Domain > &v_domains) | codac::ContractorNetwork | |
add(DynCtc &dyn_ctc, const std::vector< Domain > &v_domains) | codac::ContractorNetwork | |
add_ctc(const Contractor &ac) | codac::ContractorNetwork | protected |
add_ctc_to_queue(Contractor *ac, std::deque< Contractor * > &ctc_deque) | codac::ContractorNetwork | protected |
add_data(Tube &x, double t, const Interval &y) | codac::ContractorNetwork | |
add_data(TubeVector &x, double t, const IntervalVector &y) | codac::ContractorNetwork | |
add_dom(const Domain &ad) | codac::ContractorNetwork | protected |
contract(bool verbose=false) | codac::ContractorNetwork | |
contract(const std::unordered_map< Domain, Domain > &var_dom, bool verbose=false) | codac::ContractorNetwork | |
contract_during(double dt, bool verbose=false) | codac::ContractorNetwork | |
ContractorNetwork() | codac::ContractorNetwork | |
create_interm_var(const Interval &i) | codac::ContractorNetwork | |
create_interm_var(const IntervalVector &iv) | codac::ContractorNetwork | |
create_interm_var(const Tube &t) | codac::ContractorNetwork | |
create_interm_var(const TubeVector &tv) | codac::ContractorNetwork | |
emptiness() const | codac::ContractorNetwork | |
m_contraction_duration_max | codac::ContractorNetwork | protected |
m_ctc_deriv | codac::ContractorNetwork | protected |
m_deque | codac::ContractorNetwork | protected |
m_fixedpoint_ratio | codac::ContractorNetwork | protected |
m_map_ctc | codac::ContractorNetwork | protected |
m_map_domains | codac::ContractorNetwork | protected |
nb_ctc() const | codac::ContractorNetwork | |
nb_ctc_in_stack() const | codac::ContractorNetwork | |
nb_dom() const | codac::ContractorNetwork | |
operator<<(std::ostream &str, const ContractorNetwork &cn) | codac::ContractorNetwork | friend |
print_dot_graph(const std::string &cn_name="cn", const std::string &layer_model="fdp") const | codac::ContractorNetwork | |
reset_interm_vars() | codac::ContractorNetwork | |
set_fixedpoint_ratio(float r) | codac::ContractorNetwork | |
set_name(Domain dom, const std::string &name) | codac::ContractorNetwork | |
set_name(Ctc &ctc, const std::string &name) | codac::ContractorNetwork | |
set_name(DynCtc &ctc, const std::string &name) | codac::ContractorNetwork | |
subvector(Vector &v, int start_index, int end_index) | codac::ContractorNetwork | |
subvector(IntervalVector &iv, int start_index, int end_index) | codac::ContractorNetwork | |
trigger_all_contractors() | codac::ContractorNetwork | |
trigger_ctc_related_to_dom(Domain *dom, Contractor *ctc_to_avoid=nullptr) | codac::ContractorNetwork | protected |
~ContractorNetwork() | codac::ContractorNetwork | |