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

Encoder Member List

This is the complete list of members for Encoder, including all inherited members.
_process_not_uptodate (defined in Encoder)Encoder [private]
add_install(CONSTANT PackageVersionsList &list) (defined in Encoder)Encoder
add_providers(CONSTANT PackageVersions &features, VariableSet &providers) (defined in Encoder)Encoder [private]
add_providers(CONSTANT PackageVersion &feature, VariableSet &providers) (defined in Encoder)Encoder [private]
add_remove(CONSTANT PackageVersionsList &list) (defined in Encoder)Encoder
add_unit(InstallableUnit *unit) (defined in Encoder)Encoder
add_upgrade(CONSTANT PackageVersionsList &list) (defined in Encoder)Encoder
assert_not_removed() (defined in Encoder)Encoder [private]
atmost_1(CONSTANT string &package_name, Version from) (defined in Encoder)Encoder [private]
atmost_1_feature(CONSTANT string &package_name, Version from) (defined in Encoder)Encoder [private]
changed_score(IntVector &model) (defined in Encoder)Encoder [private]
check_solution() (defined in Encoder)Encoder
conflict_all(CONSTANT Variable &pv, CONSTANT VariableSet &set) (defined in Encoder)Encoder [private]
cs (defined in Encoder)Encoder
CT enum name (defined in Encoder)Encoder [private]
CT_MAX enum value (defined in Encoder)Encoder [private]
CT_MIN enum value (defined in Encoder)Encoder [private]
CT_NO enum value (defined in Encoder)Encoder [private]
cut_off (defined in Encoder)Encoder
disable_down_to_term(CONSTANT string &name, Version from, const UnitVector *unit_vector, const VersionVector *version_vector, LiteralVector &literals) (defined in Encoder)Encoder [private]
disable_solving() (defined in Encoder)Encoder [inline]
disable_to_term(CONSTANT PackageVersions &pvs, LiteralVector &term) (defined in Encoder)Encoder [private]
disable_up_to_term(CONSTANT string &name, Version from, const UnitVector *unit_vector, const VersionVector *version_vector, LiteralVector &literals) (defined in Encoder)Encoder [private]
enable_valuation() (defined in Encoder)Encoder [inline]
encode()Encoder
encode(CONSTANT InstallableUnit *unit) (defined in Encoder)Encoder [private]
encode_changed(XLINT &total_weight, bool maximize) (defined in Encoder)Encoder [private]
encode_conflicts(CONSTANT InstallableUnit *unit) (defined in Encoder)Encoder [private]
encode_depends(CONSTANT InstallableUnit *unit) (defined in Encoder)Encoder [private]
encode_edges() (defined in Encoder)Encoder [private]
encode_keep() (defined in Encoder)Encoder [private]
encode_lexicographic() (defined in Encoder)Encoder [private]
encode_new(XLINT &total_weight, bool maximize) (defined in Encoder)Encoder [private]
encode_not_self_conflict(CONSTANT InstallableUnit *unit, CONSTANT PackageVersions &pvs) (defined in Encoder)Encoder [private]
encode_not_up_to_date(XLINT &total_weight, bool maximize) (defined in Encoder)Encoder [private]
encode_package_self_conflict(CONSTANT InstallableUnit *unit, CONSTANT PackageVersions &pvs) (defined in Encoder)Encoder [private]
encode_provides() (defined in Encoder)Encoder [private]
encode_recommends(CONSTANT InstallableUnit *unit) (defined in Encoder)Encoder [private]
encode_removed(XLINT &total_weight, bool maximize) (defined in Encoder)Encoder [private]
encode_request_remove() (defined in Encoder)Encoder [private]
encode_unmet_recommends(XLINT &total_weight, bool maximize) (defined in Encoder)Encoder [private]
encode_upgrade() (defined in Encoder)Encoder [private]
Encoder(SolverWrapper< ClausePointer > &solver, IDManager &id_manager) (defined in Encoder)Encoder
feature_units (defined in Encoder)Encoder [private]
feature_versions (defined in Encoder)Encoder [private]
find_latest_installed_version_in_original_problem(CONSTANT string &name, Version &version) (defined in Encoder)Encoder [private]
get_lexicographic() const (defined in Encoder)Encoder [inline]
get_opt_edges(bool v=true) const (defined in Encoder)Encoder [inline]
get_opt_not_removed(bool v=true) const (defined in Encoder)Encoder [inline]
get_package_version_variable(CONSTANT PackageVersion &pv) (defined in Encoder)Encoder [inline, private]
get_solver_wrapper() (defined in Encoder)Encoder
get_top(CONSTANT Objective &objective) const (defined in Encoder)Encoder [private]
get_top(CONSTANT vector< Objective > &lexicographic) const (defined in Encoder)Encoder [private]
gt(OBJECTIVE_FUNCTION o, vector< Objective > &lex) (defined in Encoder)Encoder [inline, private]
handle_keep(InstallableUnit *unit) (defined in Encoder)Encoder [private]
handle_provides(InstallableUnit *unit) (defined in Encoder)Encoder [private]
id_manager (defined in Encoder)Encoder [private]
install (defined in Encoder)Encoder [private]
interval_vars (defined in Encoder)Encoder [private]
is_any_installed(PackageVersions &package, IntVector &model) (defined in Encoder)Encoder [private]
is_any_installed_feature(CONSTANT string &feature_name, Operator version_operator, Version operand, IntVector &model) (defined in Encoder)Encoder [private]
is_any_installed_package(const UnitVector &unit_vector) (defined in Encoder)Encoder [private]
is_feature(CONSTANT string &name) (defined in Encoder)Encoder [inline, private]
is_installed(const InstallableUnit *unit, IntVector &model) (defined in Encoder)Encoder [private]
is_installed_feature(CONSTANT PackageVersion &feature) (defined in Encoder)Encoder [private]
is_installed_feature(const PackageVersion &feature, IntVector &model) (defined in Encoder)Encoder [private]
iv (defined in Encoder)Encoder [private]
latest_installed_feature_version(CONSTANT string &name, Version &version) (defined in Encoder)Encoder [private]
latest_installed_package_version(CONSTANT string &name, Version &version) (defined in Encoder)Encoder [private]
lexicographic (defined in Encoder)Encoder [private]
need(CONSTANT PackageVersions &versions) (defined in Encoder)Encoder [private]
need(InstallableUnit *unit) (defined in Encoder)Encoder [private]
need(PackageVersionsCNF cnf) (defined in Encoder)Encoder [private]
need_feature(CONSTANT PackageVersion &feature) (defined in Encoder)Encoder [private]
need_features(CONSTANT string &feature_name, Operator version_operator, Version operand) (defined in Encoder)Encoder [private]
need_latest(CONSTANT string &package_name) (defined in Encoder)Encoder [private]
need_packages(CONSTANT string &package_name, Operator version_operator, Version operand) (defined in Encoder)Encoder [private]
needed_feature_versions (defined in Encoder)Encoder [private]
needed_units (defined in Encoder)Encoder [private]
new_score(IntVector &model) (defined in Encoder)Encoder [private]
new_variable() (defined in Encoder)Encoder [inline, private]
not_removed (defined in Encoder)Encoder [private]
notuptodate_score(IntVector &model) (defined in Encoder)Encoder [private]
opt_edges (defined in Encoder)Encoder [private]
opt_not_removed (defined in Encoder)Encoder [private]
paranoid_score(IntVector &model) (defined in Encoder)Encoder [private]
print_solution() (defined in Encoder)Encoder
print_valuation(ostream &output, IntVector &model) (defined in Encoder)Encoder [private]
printing_started_or_finished (defined in Encoder)Encoder [private]
process_disable_down(const string &package, const VersionVector &intervals, const VersionVector &package_versions, bool is_feature=false) (defined in Encoder)Encoder [private]
process_disable_up(const string &package, const VersionVector &intervals, const VersionVector &package_versions, bool is_feature=false) (defined in Encoder)Encoder [private]
process_interval_variables() (defined in Encoder)Encoder [private]
process_not_uptodate() (defined in Encoder)Encoder [inline, private]
process_recommends (defined in Encoder)Encoder [private]
process_require_down(const string &package, const VersionVector &intervals, const VersionVector &package_versions, bool is_feature=false) (defined in Encoder)Encoder [private]
process_require_up(const string &package, const VersionVector &intervals, const VersionVector &package_versions, bool is_feature=false) (defined in Encoder)Encoder [private]
psolution_file (defined in Encoder)Encoder [private]
read_units (defined in Encoder)Encoder [private]
recommends_clauses_pointers (defined in Encoder)Encoder [private]
recommends_score(IntVector &model) (defined in Encoder)Encoder [private]
refine_upgrade_request() (defined in Encoder)Encoder [private]
remove (defined in Encoder)Encoder [private]
removed_score(IntVector &model) (defined in Encoder)Encoder [private]
request_to_clause(CONSTANT PackageVersions &pvs, LiteralVector &literals) (defined in Encoder)Encoder [private]
requests_to_clause(CONSTANT VersionsList::const_iterator begin, CONSTANT VersionsList::const_iterator end, LiteralVector &literals) (defined in Encoder)Encoder [private]
require_down_to_clause(CONSTANT string &name, Version from, const UnitVector *unit_vector, const VersionVector *version_vector, LiteralVector &literals) (defined in Encoder)Encoder [private]
require_up_to_clause(CONSTANT string &name, Version from, const UnitVector *unit_vector, const VersionVector *version_vector, LiteralVector &literals) (defined in Encoder)Encoder [private]
required_features (defined in Encoder)Encoder [private]
set_criterion(Criterion optimization_criterion) (defined in Encoder)Encoder
set_iv(UINT piv) (defined in Encoder)Encoder [inline]
set_lexicographic(CONSTANT vector< Objective > &lexicographic_ordering) (defined in Encoder)Encoder
set_opt_edges(int v=1) (defined in Encoder)Encoder [inline]
set_opt_not_removed(bool v=true) (defined in Encoder)Encoder [inline]
set_solution_file(ostream *file) (defined in Encoder)Encoder [inline]
should_solve (defined in Encoder)Encoder [private]
slice() (defined in Encoder)Encoder [private]
slice_changed() (defined in Encoder)Encoder [private]
solution() (defined in Encoder)Encoder
solver (defined in Encoder)Encoder [private]
stc (defined in Encoder)Encoder
trendy_score(IntVector &model) (defined in Encoder)Encoder [private]
unit_count (defined in Encoder)Encoder
upgrade (defined in Encoder)Encoder [private]
valuation (defined in Encoder)Encoder [private]
variables (defined in Encoder)Encoder [private]
~Encoder() (defined in Encoder)Encoder [virtual]

Generated by  Doxygen 1.6.0   Back to index