Constraint Member List

This is the complete list of members for Constraint, 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 |

Generated on Thu Dec 13 2012 19:09:04 by 1.7.6.1