Uses of Class
org.cornutum.tcases.openapi.Dnf

Packages that use Dnf

Package	Description
org.cornutum.tcases.openapi

Uses of Dnf in org.cornutum.tcases.openapi

Fields in org.cornutum.tcases.openapi declared as Dnf

Modifier and Type	Field and Description
static Dnf	Dnf.NONEXISTENT Designates a non-existent result for a DNF expression.
static Dnf	Dnf.UNDEFINED Designates an undefined result for a DNF expression.

Methods in org.cornutum.tcases.openapi that return Dnf

Modifier and Type	Method and Description
static Dnf	SchemaExtensions.getDnf(io.swagger.v3.oas.models.media.Schema<?> schema) Returns the disjunctive normal form of this given schema.
static Dnf	Dnf.of(Iterable<io.swagger.v3.oas.models.media.Schema<?>> alternatives) Returns the disjunctive normal form with the given alternatives.
static Dnf	Dnf.of(io.swagger.v3.oas.models.media.Schema<?>... alternatives) Returns the disjunctive normal form with the given alternatives.
static Dnf	Dnf.of(Stream<io.swagger.v3.oas.models.media.Schema<?>> alternatives) Returns the disjunctive normal form with the given alternatives.

Methods in org.cornutum.tcases.openapi with parameters of type Dnf

Modifier and Type	Method and Description
static boolean	Dnf.defined(Dnf dnf) Returns true if at least one alternative is defined for this schema.
static boolean	Dnf.exists(Dnf dnf) Returns false if the given schema is a non-existent result.
static void	SchemaExtensions.setDnf(io.swagger.v3.oas.models.media.Schema<?> schema, Dnf dnf) Changes the disjunctive normal form of this given schema.
static boolean	Dnf.undefined(Dnf dnf) Returns false if at least one alternative is defined for this schema.
static boolean	Dnf.unsatisfiable(Dnf dnf) Returns true if the given schema is unsatisfiable by any instance.