rules
Class SpecFunct

java.lang.Object
  rules.Funct
      rules.SpecFunct

public class SpecFunct

extends Funct

Constructor Summary

SpecFunct(java.lang.String name, int a)

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

SpecFunct(Type[] aTypes, java.util.List rang)

Method Summary

Term	defaultFnValue()
boolean	earlier(java.lang.String name1, java.lang.String name2)
boolean	earlier(Term c1, Term c2)
java.util.List	getIntRange()
SpecConst	getVal(int number)
SpecConst	getVal(java.lang.String name)
java.util.Iterator	rangeIterator()
int	rangeSize()
java.lang.String	toShortString()
java.lang.String	toString()

Methods inherited from class rules.Funct

arity, getConcept, getName, getRetType, getType, getTypes, hasConcept, hashCode, main, nameArityEquals, nameEquals, rangeSize, setConcept, setDefaultFnValue

Methods inherited from class java.lang.Object

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

Constructor Detail

SpecFunct

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

SpecFunct

public SpecFunct(java.lang.String name,
                 int a)

SpecFunct

public SpecFunct(Type[] aTypes,
                 java.util.List rang)

Method Detail

getIntRange

public java.util.List getIntRange()

getVal

public SpecConst getVal(int number)

getVal

public SpecConst getVal(java.lang.String name)

earlier

public boolean earlier(java.lang.String name1,
                       java.lang.String name2)

earlier

public boolean earlier(Term c1,
                       Term c2)

rangeSize

public int rangeSize()

rangeIterator

public java.util.Iterator rangeIterator()

defaultFnValue

public Term defaultFnValue()

Overrides:

defaultFnValue in class Funct

toString

public java.lang.String toString()

Overrides:

toString in class Funct

toShortString

public java.lang.String toShortString()

Overrides:

toShortString in class Funct