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

Class FunctionSymbol

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.FunctionSymbol

All Implemented Interfaces:

Printable

public class FunctionSymbol
extends TermAtom

A TermAtom which represents a function symbol.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	isCommutative()
void	setCommutative(boolean commutative)

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

Constructor Detail

FunctionSymbol

public FunctionSymbol(java.lang.String name)

Method Detail

isCommutative

public boolean isCommutative()

setCommutative

public void setCommutative(boolean commutative)