org.qedeq.kernel.bo.logic.model
Class ModelFunctionConstant

java.lang.Object
  org.qedeq.kernel.bo.logic.model.Operator
      org.qedeq.kernel.bo.logic.model.ModelFunctionConstant

public class ModelFunctionConstant
extends Operator

One function constant.

Author:

Michael Meyling

Constructor Summary

ModelFunctionConstant(java.lang.String name, int number)
Constructor.

Method Summary

Methods inherited from class org.qedeq.kernel.bo.logic.model.Operator

equals, getArgumentNumber, getName, hashCode, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelFunctionConstant

public ModelFunctionConstant(java.lang.String name,
                             int number)

Constructor.

Parameters:

name - Show this to represent the function within outputs.

number - Number of arguments this function has.