Index of types

B
bad_solution_reason [Cudf_checker]
C
constr [Cudf_types]
cudf [Cudf]
cudf_doc [Cudf]

a CUDF document with its information items

cudf_item [Cudf]

a single information item

cudf_parser [Cudf_parser]

a CUDF parser opened on some input source

E
enum_keep [Cudf_types]
I
inconsistency_reason [Cudf_checker]
L
loc_map [Cudf_parser]
P
package [Cudf]

Representation of a parsed package description item.

pkgname [Cudf_types]
preamble [Cudf]
R
relop [Cudf_types]
request [Cudf]
S
solution [Cudf]

CUDF-based encoding of solutions, see CUDF 2.0, appendix B

stanza [Cudf_types]

RFC-822-like stanza, i.e.

stanza_typedecl [Cudf_conf]

Mapping (in the form of associative list) from stanza postmarks to type declarations.

T
token [Cudf_type_parser]
token [Cudf_822_parser]
typ [Cudf_types]

CUDF types

typed_value [Cudf_types]

Typed value in the value space of all CUDF types

typedecl [Cudf_types]
typedecl1 [Cudf_types]

(Single) type declaration: each variant denotes a type, its argument the default value, None if missing

U
universe [Cudf]

package universe (including package status, i.e., installed packages)

V
veqpkg [Cudf_types]
veqpkglist [Cudf_types]
version [Cudf_types]
vpkg [Cudf_types]
vpkgformula [Cudf_types]

CNF formula.

vpkglist [Cudf_types]