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

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

public class ModelPredicateConstant
extends Operator

Predicate constant for our model.

Author:

Michael Meyling

Constructor Summary

ModelPredicateConstant(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

ModelPredicateConstant

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

Constructor.

Parameters:

name - Show this to represent the predicate within outputs.

number - Number of arguments this predicate has.