, including all inherited members.
| abduce(Constraint b, const set< Constraint > &consistency_constraints, map< Term *, int > &costs) const (defined in Constraint) | Constraint | |
| abduce(Constraint b, const set< Constraint > &consistency_constraints) const (defined in Constraint) | Constraint | |
| abduce(Constraint b) const (defined in Constraint) | Constraint | |
| add_ground_axiom(Constraint key, Constraint c) (defined in Constraint) | Constraint | [static] |
| add_quantified_axiom(Constraint key, Constraint c) (defined in Constraint) | Constraint | [static] |
| assume(Constraint c) (defined in Constraint) | Constraint | |
| background_knowledge_to_string() (defined in Constraint) | Constraint | [static] |
| boost::serialization::access (defined in Constraint) | Constraint | [friend] |
| clear() (defined in Constraint) | Constraint | [static] |
| clear_background() (defined in Constraint) | Constraint | [static] |
| Constraint() (defined in Constraint) | Constraint | |
| Constraint(bool val) | Constraint | |
| Constraint(const Constraint &nc, const Constraint &sc) (defined in Constraint) | Constraint | |
| Constraint(Term *t1, Term *t2, atom_op_type op) (defined in Constraint) | Constraint | |
| Constraint(const Constraint &other) (defined in Constraint) | Constraint | |
| Constraint(string s) (defined in Constraint) | Constraint | |
| Constraint(const char *s) (defined in Constraint) | Constraint | |
| Constraint(CNode *n) (defined in Constraint) | Constraint | |
| ConstraintSolver (defined in Constraint) | Constraint | [friend] |
| contains_inequality() (defined in Constraint) | Constraint | |
| contains_term(Term *var) (defined in Constraint) | Constraint | |
| contains_term(set< Term * > &terms) (defined in Constraint) | Constraint | |
| cs (defined in Constraint) | Constraint | [static] |
| debug_string() (defined in Constraint) | Constraint | |
| disable_background() (defined in Constraint) | Constraint | [static] |
| divide(long int c, Term *t) (defined in Constraint) | Constraint | |
| eliminate_evar(VariableTerm *var) (defined in Constraint) | Constraint | |
| eliminate_evars(set< VariableTerm * > &vars) (defined in Constraint) | Constraint | |
| eliminate_free_var(VariableTerm *var) (defined in Constraint) | Constraint | |
| eliminate_free_vars(set< VariableTerm * > &vars) (defined in Constraint) | Constraint | |
| eliminate_uvar(VariableTerm *var) (defined in Constraint) | Constraint | |
| eliminate_uvars(set< VariableTerm * > &vars) (defined in Constraint) | Constraint | |
| equivalent(Constraint other) const (defined in Constraint) | Constraint | |
| find_equalities(Term *t, set< Term * > &eqs) const (defined in Constraint) | Constraint | |
| find_equality(Term *t) const (defined in Constraint) | Constraint | |
| fresh_id() (defined in Constraint) | Constraint | |
| get_assignment(set< pair< string, string > > &assignments) (defined in Constraint) | Constraint | |
| get_assignment(map< Term *, SatValue > &assignments) (defined in Constraint) | Constraint | |
| get_cnodes() (defined in Constraint) | Constraint | |
| get_disjunctive_equalities(Term *var, map< Term *, Constraint > &equalities) (defined in Constraint) | Constraint | |
| get_free_variables(set< Term * > &vars) (defined in Constraint) | Constraint | |
| get_general_background() (defined in Constraint) | Constraint | [static] |
| get_terms(set< Term * > &terms, bool include_nested_terms) (defined in Constraint) | Constraint | |
| has_equality_relation(Term *t1, Term *t2) (defined in Constraint) | Constraint | |
| implies(const Constraint &other) const (defined in Constraint) | Constraint | |
| is_false() const (defined in Constraint) | Constraint | |
| is_precise() const (defined in Constraint) | Constraint | |
| is_true() const (defined in Constraint) | Constraint | |
| msa(map< Term *, SatValue > &msa) (defined in Constraint) | Constraint | |
| msa(set< VariableTerm * > &msa) const (defined in Constraint) | Constraint | |
| msa(set< VariableTerm * > &msa, set< Constraint > &bg) const (defined in Constraint) | Constraint | |
| msa(map< Term *, SatValue > &msa, set< Constraint > &bg) (defined in Constraint) | Constraint | |
| msa(set< VariableTerm * > &msa, map< VariableTerm *, int > &costs) const (defined in Constraint) | Constraint | |
| msa(set< VariableTerm * > &msa, set< Constraint > &bg, map< VariableTerm *, int > &costs) const (defined in Constraint) | Constraint | |
| msa(map< Term *, SatValue > &msa, set< Constraint > &bg, map< VariableTerm *, int > &costs) (defined in Constraint) | Constraint | |
| nc() const (defined in Constraint) | Constraint | |
| nc_size() const (defined in Constraint) | Constraint | |
| operator!() const (defined in Constraint) | Constraint | |
| operator!=(const Constraint &other) const (defined in Constraint) | Constraint | |
| operator&(const Constraint &other) const (defined in Constraint) | Constraint | |
| operator&=(const Constraint &other) (defined in Constraint) | Constraint | |
| operator<(const Constraint &other) const (defined in Constraint) | Constraint | |
| operator=(const Constraint &other) (defined in Constraint) | Constraint | |
| operator==(const Constraint &other) const (defined in Constraint) | Constraint | |
| operator|(const Constraint &other) const (defined in Constraint) | Constraint | |
| operator|=(const Constraint &other) (defined in Constraint) | Constraint | |
| propagate_background() (defined in Constraint) | Constraint | |
| replace_constraint(Constraint to_replace, Constraint replacement) (defined in Constraint) | Constraint | |
| replace_term(Term *to_replace, Term *replacement) (defined in Constraint) | Constraint | |
| replace_term_in_axioms(Term *old_t, Term *new_t) (defined in Constraint) | Constraint | [static] |
| replace_terms(map< Term *, Term * > &replacements) (defined in Constraint) | Constraint | |
| replace_terms(Term *(*sub_func)(Term *t, void *data), void *my_data) (defined in Constraint) | Constraint | [inline] |
| replace_terms(Term *(*sub_func)(Term *t)) (defined in Constraint) | Constraint | |
| sat() const (defined in Constraint) | Constraint | |
| sat_discard() const (defined in Constraint) | Constraint | |
| sc() const (defined in Constraint) | Constraint | |
| sc_size() const (defined in Constraint) | Constraint | |
| set_background_knowledge(Constraint c) (defined in Constraint) | Constraint | [static] |
| set_geqz_attribute(Term *t) (defined in Constraint) | Constraint | [static] |
| set_gtz_attribute(Term *t) (defined in Constraint) | Constraint | [static] |
| std::hash< Constraint > (defined in Constraint) | Constraint | [friend] |
| Term (defined in Constraint) | Constraint | [friend] |
| to_cnf(set< Constraint > &cnf) (defined in Constraint) | Constraint | |
| to_dnf(set< Constraint > &dnf) (defined in Constraint) | Constraint | |
| to_string() const (defined in Constraint) | Constraint | |
| unsat() const (defined in Constraint) | Constraint | |
| unsat_discard() const (defined in Constraint) | Constraint | |
| valid() const (defined in Constraint) | Constraint | |
| valid_discard() const (defined in Constraint) | Constraint | |
