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

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

public class PredicateVariable
extends Operator

Predicate variable for our model.

Author:

Michael Meyling

Constructor Summary

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

PredicateVariable

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

Constructor.

Parameters:

name - Show this to represent the predicate within outputs.

number - Number of arguments this predicate has.