rules
Class Funct

java.lang.Object
  rules.Funct

Direct Known Subclasses:

SpecFunct

public class Funct

extends java.lang.Object

Constructor Summary

Funct()

Funct(java.lang.String name, Type[] aTypes, Type rType)

Funct(java.lang.String input, TypeSet t)

Method Summary

int	arity()
Term	defaultFnValue()
FunConcept	getConcept()
java.lang.String	getName()
Type	getRetType()
Type	getType(int i)
Type[]	getTypes()
boolean	hasConcept()
int	hashCode()
static void	main(java.lang.String[] args)
boolean	nameArityEquals(java.lang.String name, int a)
boolean	nameEquals(java.lang.String name)
int	rangeSize(Lang lang)
void	setConcept(FunConcept fc)
void	setDefaultFnValue(Term d)
java.lang.String	toShortString()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Funct

public Funct()

Funct

public Funct(java.lang.String input,
             TypeSet t)

Funct

public Funct(java.lang.String name,
             Type[] aTypes,
             Type rType)

Method Detail

nameEquals

public boolean nameEquals(java.lang.String name)

nameArityEquals

public boolean nameArityEquals(java.lang.String name,
                               int a)

arity

public int arity()

hashCode

public int hashCode()

getName

public java.lang.String getName()

toString

public java.lang.String toString()

toShortString

public java.lang.String toShortString()

getConcept

public FunConcept getConcept()

setConcept

public void setConcept(FunConcept fc)

hasConcept

public boolean hasConcept()

rangeSize

public int rangeSize(Lang lang)

getRetType

public Type getRetType()

getType

public Type getType(int i)

getTypes

public Type[] getTypes()

defaultFnValue

public Term defaultFnValue()

setDefaultFnValue

public void setDefaultFnValue(Term d)

main

public static void main(java.lang.String[] args)