operators
Class FindProdPageWithNathanOperator

java.lang.Object
  |
  +--dataanalysis.databases.DatabaseElement
        |
        +--operators.Operator
              |
              +--operators.FindProdPageOperator
                    |
                    +--operators.FindProdPageWithNathanOperator

public class FindProdPageWithNathanOperator
extends FindProdPageOperator

automatisch erzeugter OperatorFindProdPageWithNathanOperator

Version:
1.0
Author:
???
See Also:
Serialized Form

Fields inherited from class operators.FindProdPageOperator
service
 
Fields inherited from class operators.Operator
added, deleted, OPCLASSIC, OPCLASSIFIER, OPCONDITIONAL, opID, OPREACTIVE, OPTARGETMATCH, opType, postcondFullfilled, postconds, precond, predicateIndexToVerify, weight
 
Fields inherited from class dataanalysis.databases.DatabaseElement
elementname
 
Constructor Summary
FindProdPageWithNathanOperator()
           
 
Methods inherited from class operators.FindProdPageOperator
eval
 
Methods inherited from class operators.Operator
clear, clone, deepClone, deepPointerClone, equals, getAdded, getDeleted, getFullfilledPostcondition, getOpID, getOpType, getPostcond, getPostcondFullfilled, getPrecond, getUnverifiedPrecondPred, getWeight, setAdded, setDeleted, setOpID, setOpType, setPostcond, setPostcondFullfilled, setPrecond, setPredicateIndexToVerify, setVerifiedPrecondPred, setWeight, toString
 
Methods inherited from class dataanalysis.databases.DatabaseElement
getElementname, logMessage, setElementname
 
Methods inherited from class java.lang.Object
, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Constructor Detail

FindProdPageWithNathanOperator

public FindProdPageWithNathanOperator()