Logo Search packages:      
Sourcecode: packup version File versions  Download package

Public Member Functions | Protected Attributes | Private Attributes

ConverterMem Class Reference

Inheritance diagram for ConverterMem:
Inheritance graph
Collaboration diagram for ConverterMem:
Collaboration graph

List of all members.

Public Member Functions

void action_CNF_false ()
void action_CNF_true ()
void action_empty_feature_list ()
void action_feature ()
void action_first_disjunction ()
void action_first_feature ()
void action_first_literal ()
void action_keep_value (KeepValue value)
void action_next_disjunction ()
void action_next_feature ()
void action_next_literal ()
void action_package_name (char *cname)
void action_package_versions ()
Version action_version (char *version_string)
void action_version_operator (Operator op)
virtual void close_input ()
virtual void close_package ()
virtual void close_universe ()
 ConverterMem (SolverWrapper< ClausePointer > &solver, IDManager &id_manager)
void disable_solving ()
virtual void end_processed_package_version ()
Encoderget_encoder ()
virtual void package_conflicts ()
virtual void package_depends ()
virtual void package_installed (bool installed_value)
virtual void package_keep ()
virtual void package_provides ()
virtual void package_recommends ()
void package_versions_list_empty ()
void package_versions_list_first ()
void package_versions_list_next ()
virtual void request_install ()
virtual void request_remove ()
void set_criterion (Criterion optimization_criterion)
void solution_check (const char *file_name)
bool solve ()
virtual void start_package ()
virtual void upgrade ()

Protected Attributes

vector< string > feature_names
vector< string > package_names
Str2Str package_names_set
VersionsList * read_clause
PackageVersionsCNF read_CNF
PackageVersion read_feature
PackageVersionList read_feature_list
KeepValue read_keep_value
Operator read_operator
string read_package_name
PackageVersions read_package_versions
VersionsList read_package_versions_list
Version read_version

Private Attributes

Encoder encoder
bool has_version
SolutionReader sr

Detailed Description

Definition at line 32 of file ConverterMem.hh.

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

Generated by  Doxygen 1.6.0   Back to index