Uses of Class
wytp.types.subtyping.CoerciveSubtypeOperator.Atom

Packages that use CoerciveSubtypeOperator.Atom

Package	Description
wytp.types.subtyping

Uses of CoerciveSubtypeOperator.Atom in wytp.types.subtyping

Methods in wytp.types.subtyping with parameters of type CoerciveSubtypeOperator.Atom

Modifier and Type	Method and Description
protected boolean	CoerciveSubtypeOperator.isVoidArray(CoerciveSubtypeOperator.Atom<WyalFile.Type.Array> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Array> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two array types is void or not.
protected boolean	CoerciveSubtypeOperator.isVoidArray(CoerciveSubtypeOperator.Atom<WyalFile.Type.Array> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Array> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two array types is void or not.
protected boolean	CoerciveSubtypeOperator.isVoidAtom(CoerciveSubtypeOperator.Atom<?> a, CoerciveSubtypeOperator.Atom<?> b, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two arbitrary atoms results in void or not.
protected boolean	CoerciveSubtypeOperator.isVoidAtom(CoerciveSubtypeOperator.Atom<?> a, CoerciveSubtypeOperator.Atom<?> b, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two arbitrary atoms results in void or not.
boolean	CoerciveSubtypeOperator.isVoidFunction(CoerciveSubtypeOperator.Atom<WyalFile.Type.Function> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Function> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two function types is void or not.
boolean	CoerciveSubtypeOperator.isVoidFunction(CoerciveSubtypeOperator.Atom<WyalFile.Type.Function> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Function> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two function types is void or not.
protected boolean	CoerciveSubtypeOperator.isVoidRecord(CoerciveSubtypeOperator.Atom<WyalFile.Type.Record> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Record> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two record types is void or not.
protected boolean	CoerciveSubtypeOperator.isVoidRecord(CoerciveSubtypeOperator.Atom<WyalFile.Type.Record> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Record> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two record types is void or not.
protected boolean	CoerciveSubtypeOperator.isVoidReference(CoerciveSubtypeOperator.Atom<WyalFile.Type.Reference> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Reference> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two reference types is void or not.
protected boolean	CoerciveSubtypeOperator.isVoidReference(CoerciveSubtypeOperator.Atom<WyalFile.Type.Reference> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Reference> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two reference types is void or not.

Method parameters in wytp.types.subtyping with type arguments of type CoerciveSubtypeOperator.Atom

Modifier and Type	Method and Description
protected boolean	CoerciveSubtypeOperator.isVoid(ArrayList<CoerciveSubtypeOperator.Atom<?>> truths, wytp.types.subtyping.CoerciveSubtypeOperator.Worklist worklist, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether or not the intersection of a given list of types (the worklist) reduces to void or not.