at.jku.risc.stout.tgau.data.atom

Class HedgeVar

java.lang.Object

at.jku.risc.stout.tgau.util.PrintableX

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

at.jku.risc.stout.tgau.data.atom.Variable

at.jku.risc.stout.tgau.data.atom.HedgeVar

All Implemented Interfaces:

Term, Printable, java.lang.Comparable<Term>

public class HedgeVar
extends Variable

A hedge variable can be substituted by a single term or a hedge.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
HedgeVar(java.lang.String name)

Method Summary

Methods inherited from class at.jku.risc.stout.tgau.data.atom.Variable

compareTo, getAtom

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

compare, getName, hashCode, print, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface at.jku.risc.stout.tgau.util.Printable

print

Constructor Detail

HedgeVar

public HedgeVar(java.lang.String name)