#include <predicates.h>

Inheritance diagram for PredicateGroup:

Public Member Functions
void	add_positive_differences (PredicateGroup compared_group)
void	change_variable (std::string orig_var, std::string new_var)
int	count_satisfied (PredicateList predicates)
PredicateGroup	get_differences (const PredicateGroup compared_group)
PredicateGroup	get_predicates_with_vars (std::vector< std::string > variables)
bool	is_satisfied (PredicateList predicates)
int	number_parameters ()
	PredicateGroup ()
	PredicateGroup (PredicateList predicates)
	PredicateGroup (std::string predicates)
void	remove_duplicated ()
void	remove_variables_not_present (std::vector< std::string > variables)
Public Attributes
PredicateList	predicates_
Friends
std::ostream &	operator<< (std::ostream &out, const PredicateGroup &p)

Detailed Description

Definition at line 45 of file predicates.h.

Constructor & Destructor Documentation

PredicateGroup::PredicateGroup ( ) [inline]

Definition at line 50 of file predicates.h.

PredicateGroup::PredicateGroup ( PredicateList predicates )

Definition at line 43 of file predicates.cpp.

PredicateGroup::PredicateGroup ( std::string predicates )

Definition at line 47 of file predicates.cpp.

void PredicateGroup::add_positive_differences ( PredicateGroup compared_group )

Definition at line 131 of file predicates.cpp.

void PredicateGroup::change_variable	(	std::string	orig_var,
		std::string	new_var
	)

Definition at line 101 of file predicates.cpp.

int PredicateGroup::count_satisfied ( PredicateList predicates )

Definition at line 69 of file predicates.cpp.

PredicateGroup PredicateGroup::get_differences ( const PredicateGroup compared_group )

Definition at line 143 of file predicates.cpp.

PredicateGroup PredicateGroup::get_predicates_with_vars ( std::vector< std::string > variables )

Definition at line 113 of file predicates.cpp.

bool PredicateGroup::is_satisfied ( PredicateList predicates )

Definition at line 51 of file predicates.cpp.

int PredicateGroup::number_parameters ( )

Definition at line 87 of file predicates.cpp.

void PredicateGroup::remove_duplicated ( )

Definition at line 177 of file predicates.cpp.

void PredicateGroup::remove_variables_not_present ( std::vector< std::string > variables )

Definition at line 191 of file predicates.cpp.

Definition at line 18 of file predicates.cpp.

Definition at line 48 of file predicates.h.

The documentation for this class was generated from the following files: