org.openqed.struct.namedid
Class FunctionId

java.lang.Object
  org.openqed.struct.namedid.NamedId
      org.openqed.struct.namedid.DynamicId
          org.openqed.struct.namedid.FunctorId
              org.openqed.struct.namedid.FunctionId

public class FunctionId
extends FunctorId

Method Summary

static FunctionId	getOrCreate(java.lang.String name, int arity)
boolean	isConstant()

Methods inherited from class org.openqed.struct.namedid.FunctorId

getArity

Methods inherited from class org.openqed.struct.namedid.NamedId

equals, getName, hashCode, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Method Detail

getOrCreate

public static FunctionId getOrCreate(java.lang.String name,
                                     int arity)

isConstant

public boolean isConstant()