Uses of Class
wytp.types.util.AbstractTypeExtractor.Disjunct

Packages that use AbstractTypeExtractor.Disjunct

Package	Description
wytp.types.util

Uses of AbstractTypeExtractor.Disjunct in wytp.types.util

Methods in wytp.types.util that return AbstractTypeExtractor.Disjunct

Modifier and Type	Method and Description
AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.Disjunct.intersect(AbstractTypeExtractor.Disjunct other)
AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.Disjunct.negate()
AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.Conjunct.negate()
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Array type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.FunctionOrMethodOrProperty type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Intersection type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Negation type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Nominal nominal)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Primitive type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Record type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Reference type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Union type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type type) Convert an arbitrary type to Disjunctive Normal Form (DNF).
AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.Disjunct.union(AbstractTypeExtractor.Disjunct other)

Methods in wytp.types.util with parameters of type AbstractTypeExtractor.Disjunct

Modifier and Type	Method and Description
protected T	AbstractTypeExtractor.construct(AbstractTypeExtractor.Disjunct type) Construct a given target type from a given type in DisjunctiveNormalForm.
AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.Disjunct.intersect(AbstractTypeExtractor.Disjunct other)
AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.Disjunct.union(AbstractTypeExtractor.Disjunct other)