Solver::Clause Struct Reference

A single clause. More...

#include <apt-pkg/solver3.h>

Collaboration diagram for Solver::Clause:

Public Member Functions
	Clause (Var reason, Group group, bool optional=false, bool negative=false)
std::string	toString (pkgCache &cache, bool pretty=false) const

Public Attributes
pkgCache::Dependency *	dep = nullptr
Var	reason
Group	group
std::vector< Var >	solutions {}
bool	optional
bool	negative

Detailed Description

A single clause.

A clause is a normalized, expanded dependency, translated into an implication in terms of Var objects, that is, reason -> solutions[0] | ... | solutions[n]

---

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

• apt-pkg/solver3.h
• apt-pkg/solver3.cc