Package hydra.core

Class Elimination

java.lang.Object

hydra.core.Elimination

All Implemented Interfaces:

Serializable, Comparable<Elimination>

Direct Known Subclasses:

Elimination.Record, Elimination.Union, Elimination.Wrap

public abstract class Elimination
extends Object
implements Serializable, Comparable<Elimination>

A corresponding elimination for an introduction term

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	Elimination.PartialVisitor<R>
static final class	Elimination.Record	Eliminates a record by projecting a given field
static final class	Elimination.Union	Eliminates a union term by matching over the fields of the union.
static interface	Elimination.Visitor<R>
static final class	Elimination.Wrap	Unwrap a wrapped term

Field Summary

Fields

Modifier and Type	Field	Description
static final Name	RECORD
static final Name	TYPE_
static final Name	UNION
static final Name	WRAP

Method Summary

Modifier and Type	Method	Description
abstract <R> R	accept(Elimination.Visitor<R> visitor)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Comparable

compareTo

Field Details

TYPE_

public static final Name TYPE_

RECORD

public static final Name RECORD

UNION

public static final Name UNION

WRAP

public static final Name WRAP

Method Details

accept

public abstract <R> R accept(Elimination.Visitor<R> visitor)