| add_positive_differences(PredicateGroup compared_group) | PredicateGroup | |
| change_variable(std::string orig_var, std::string new_var) | PredicateGroup | |
| count_satisfied(PredicateList predicates) | PredicateGroup | |
| get_differences(const PredicateGroup compared_group) | PredicateGroup | |
| get_predicates_with_vars(std::vector< std::string > variables) | PredicateGroup | |
| is_satisfied(PredicateList predicates) | PredicateGroup | |
| number_parameters() | PredicateGroup | |
| operator<<(std::ostream &out, const PredicateGroup &p) | PredicateGroup | [friend] |
| PredicateGroup() | PredicateGroup | [inline] |
| PredicateGroup(PredicateList predicates) | PredicateGroup | |
| PredicateGroup(std::string predicates) | PredicateGroup | |
| predicates_ | PredicateGroup | |
| remove_duplicated() | PredicateGroup | |
| remove_variables_not_present(std::vector< std::string > variables) | PredicateGroup |