wytp.types.util

Class AbstractTypeExtractor.Conjunct

java.lang.Object

wytp.types.util.AbstractTypeExtractor.Conjunct

Enclosing class:

AbstractTypeExtractor<T extends WyalFile.Type>

protected static class AbstractTypeExtractor.Conjunct
extends Object

Constructor Summary

Constructors

Constructor and Description
Conjunct(WyalFile.Type.Atom positive)
Conjunct(WyalFile.Type.Atom[] positives, WyalFile.Type.Atom[] negatives)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Conjunct

public Conjunct(WyalFile.Type.Atom positive)

Conjunct

public Conjunct(WyalFile.Type.Atom[] positives,
                WyalFile.Type.Atom[] negatives)

Method Detail

intersect

public AbstractTypeExtractor.Conjunct intersect(AbstractTypeExtractor.Conjunct other)

negate

public AbstractTypeExtractor.Disjunct negate()

toString

public String toString()

Overrides:

toString in class Object