at.jku.risc.stout.urauc.data.atom

Class Hole

java.lang.Object

at.jku.risc.stout.urauc.util.Printable

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

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

All Implemented Interfaces:

Cloneable, Comparable<TermAtom>

public class Hole
extends TermAtom

The hole which appears exactly once in a context.

Author:

Alexander Baumgartner

Field Summary

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

DEBUG_POSITION, nullAtom

Constructor Summary

Constructors

Constructor and Description
Hole(String name)

Method Summary

Methods

Modifier and Type	Method and Description
TermAtom	clone()

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

apply, commonAncestor, compareTo, equals, getName, getPositionIndex, getPositionString, hashCode, isAncestor, isCommutative, normalizeVarNames, print, setCommutative, setPositionIndex, substitute

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

toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Hole

public Hole(String name)

Method Detail

clone

public TermAtom clone()

Overrides:

clone in class TermAtom