org.aspsimon.termcomp.entity.xtc
Class Funcsym

java.lang.Object
  org.aspsimon.termcomp.entity.xtc.Funcsym

public class Funcsym
extends java.lang.Object

Schema fragment(s) for this class:

 <xs:element xmlns:ns="http://dev.aspsimon.org/termcomp" xmlns:xs="http://www.w3.org/2001/XMLSchema" name="funcsym">
   <xs:complexType>
     <xs:sequence>
       <xs:element ref="ns:name"/>
       <xs:element ref="ns:arity"/>
       <xs:element ref="ns:theory" minOccurs="0"/>
       <xs:element ref="ns:replacementmap" minOccurs="0"/>
     </xs:sequence>
   </xs:complexType>
 </xs:element>
 

Constructor Summary

Funcsym()

Method Summary

Arity	getArity() Get the 'arity' element value.
Name	getName() Get the 'name' element value.
Replacementmap	getReplacementmap() Get the 'replacementmap' element value.
Theory	getTheory() Get the 'theory' element value.
void	setArity(Arity arity) Set the 'arity' element value.
void	setName(Name name) Set the 'name' element value.
void	setReplacementmap(Replacementmap replacementmap) Set the 'replacementmap' element value.
void	setTheory(Theory theory) Set the 'theory' element value.

Methods inherited from class java.lang.Object

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

Constructor Detail

Funcsym

public Funcsym()

Method Detail

getName

public Name getName()

Get the 'name' element value.

Returns:

value

setName

public void setName(Name name)

Set the 'name' element value.

Parameters:

name -

getArity

public Arity getArity()

Get the 'arity' element value.

Returns:

value

setArity

public void setArity(Arity arity)

Set the 'arity' element value.

Parameters:

arity -

getTheory

public Theory getTheory()

Get the 'theory' element value.

Returns:

value

setTheory

public void setTheory(Theory theory)

Set the 'theory' element value.

Parameters:

theory -

getReplacementmap

public Replacementmap getReplacementmap()

Get the 'replacementmap' element value.

Returns:

value

setReplacementmap

public void setReplacementmap(Replacementmap replacementmap)

Set the 'replacementmap' element value.

Parameters:

replacementmap -