org.qedeq.kernel.bo.logic.common
Class PredicateConstant

java.lang.Object
  org.qedeq.kernel.bo.logic.common.PredicateConstant

public final class PredicateConstant
extends java.lang.Object

Predicate constant.

Author:

Michael Meyling

Constructor Summary

PredicateConstant(PredicateKey key, ElementList completeFormula, ModuleContext context)
Constructor.

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getArguments() Get predicate argument number.
ElementList	getCompleteFormula() Get complete defining formula.
ModuleContext	getContext() Get context where the complete formula is.
ElementList	getDefiningFormula() Get defining formula.
PredicateKey	getKey() Get predicate key.
java.lang.String	getName() Get predicate name.
ElementList	getPredicate() Get predicate with parameters.
java.util.List	getSubjectVariables() Get parameter subject variables.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PredicateConstant

public PredicateConstant(PredicateKey key,
                         ElementList completeFormula,
                         ModuleContext context)

Constructor.

Parameters:

key - Predicate name.

completeFormula - Complete formula defining predicate. Includes predicate. Must be like: A(x, y) <-> \forall z (z \in x <-> z \in y)

context - Module context we are in.

Method Detail

getKey

public PredicateKey getKey()

Get predicate key.

Returns:

Predicate key.

getName

public java.lang.String getName()

Get predicate name.

Returns:

Predicate name.

getArguments

public java.lang.String getArguments()

Get predicate argument number.

Returns:

Number of arguments.

getCompleteFormula

public ElementList getCompleteFormula()

Get complete defining formula. Includes predicate itself.

Returns:

Complete defining formula.

getContext

public ModuleContext getContext()

Get context where the complete formula is.

Returns:

Module context for complete formula.

getPredicate

public ElementList getPredicate()

Get predicate with parameters.

Returns:

Predicate part of definition formula.

getSubjectVariables

public java.util.List getSubjectVariables()

Get parameter subject variables.

Returns:

Parameter subject variables as within a list.

getDefiningFormula

public ElementList getDefiningFormula()

Get defining formula. Predicate itself is not included.

Returns:

Defining formula only.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object