pkgcore.restrictions.boolean module

Boolean combinations of restrictions.

This module provides classes that can be used to combine arbitrary collections of restrictions in AND, NAND, OR, NOR, XOR, XNOR style operations.

class pkgcore.restrictions.boolean.AndRestriction(*a, **kw)

Bases: base

Boolean AND grouping of restrictions. negation is a NAND

cnf_solutions(full_solution_expansion=False)

returns solutions in CNF (conjunctive normalized form) of this instance

Parameters:

full_solution_expansion – controls whether to expand everything (break apart atoms for example); this isn’t likely what you want

dnf_solutions(*args, **kwds)

list form of iter_dnf_solutions, see iter_dnf_solutions for args

force_False(pkg, *vals)

force_True(pkg, *vals)

iter_cnf_solutions(full_solution_expansion=False)

returns solutions in CNF (conjunctive normalized form) of this instance

Parameters:

full_solution_expansion – controls whether to expand everything (break apart atoms for example); this isn’t likely what you want

iter_dnf_solutions(full_solution_expansion=False)

generater yielding DNF (disjunctive normalized form) of this instance.

Parameters:

full_solution_expansion – controls whether to expand everything (break apart atoms for example); this isn’t likely what you want

match(vals)

class pkgcore.restrictions.boolean.OrRestriction(*a, **kw)

Bases: base

Boolean OR grouping of restrictions.

cnf_solutions(full_solution_expansion=False)

Returns a list in CNF (conjunctive normalized form) of this instance.

Parameters:

full_solution_expansion – controls whether to expand everything (break apart atoms for example); this isn’t likely what you want

dnf_solutions(*args, **kwds)

see dnf_solutions, iterates yielding DNF solutions

force_False(pkg, *vals)

force_True(pkg, *vals)

iter_dnf_solutions(full_solution_expansion=False)

Returns a list in DNF (disjunctive normalized form) of this instance.

Parameters:

full_solution_expansion – controls whether to expand everything (break apart atoms for example); this isn’t likely what you want

match(vals)