wytp.types.util

Class AbstractTypeExtractor.Disjunct

java.lang.Object

wytp.types.util.AbstractTypeExtractor.Disjunct

Enclosing class:

AbstractTypeExtractor<T extends WyalFile.Type>

protected static class AbstractTypeExtractor.Disjunct
extends Object

Constructor Summary

Constructors

Constructor and Description
Disjunct(AbstractTypeExtractor.Conjunct... conjuncts)
Disjunct(WyalFile.Type.Atom atom)

Method Summary

Modifier and Type	Method and Description
AbstractTypeExtractor.Disjunct	intersect(AbstractTypeExtractor.Disjunct other)
AbstractTypeExtractor.Disjunct	negate()
String	toString()
AbstractTypeExtractor.Disjunct	union(AbstractTypeExtractor.Disjunct other)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Disjunct

public Disjunct(WyalFile.Type.Atom atom)

Disjunct

public Disjunct(AbstractTypeExtractor.Conjunct... conjuncts)

Method Detail

union

public AbstractTypeExtractor.Disjunct union(AbstractTypeExtractor.Disjunct other)

intersect

public AbstractTypeExtractor.Disjunct intersect(AbstractTypeExtractor.Disjunct other)

negate

public AbstractTypeExtractor.Disjunct negate()

toString

public String toString()

Overrides:

toString in class Object