View on GitHub
DisjunctionConstraint
struct DisjunctionConstraint : DisjunctiveConstraintProtocol, Hashable, Sendableextension DisjunctionConstraint: CustomStringConvertibleA disjunction of two or more constraint sets.
-
The different choices in this disjunction.
Declaration
Swift
private(set) var choices: [Predicate] { get } -
Declaration
Swift
let origin: ConstraintOrigin -
Creates an instance with two or more minterms.
Requires
choices.count >= 2Declaration
Swift
init(between choices: [Predicate], origin: ConstraintOrigin) -
-
A collection of constraints in a disjunction.
See moreDeclaration
Swift
struct Predicate : DisjunctiveConstraintTerm, Hashable, Sendableextension DisjunctionConstraint.Predicate: CustomStringConvertible -
Declaration
Swift
var description: String { get }