at.jku.risc.stout.urmc.data.atom

Class Hole

java.lang.Object

at.jku.risc.stout.urmc.util.Printable

at.jku.risc.stout.urmc.data.atom.TermAtom

at.jku.risc.stout.urmc.data.atom.Hole

public class Hole
extends TermAtom

The Hole is a special symbol that appears exactly once in a context.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
Hedge	hedge
static Hole	INSTANCE
TermNode	node

Fields inherited from class at.jku.risc.stout.urmc.data.atom.TermAtom

nullAtom

Method Summary

Methods inherited from class at.jku.risc.stout.urmc.data.atom.TermAtom

apply, copy, getName, print, substitute

Methods inherited from class at.jku.risc.stout.urmc.util.Printable

toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

hedge

public Hedge hedge

INSTANCE

public static final Hole INSTANCE

node

public TermNode node