operators
Class FindContainsProductNathanOperator

java.lang.Object
  |
  +--dataanalysis.databases.DatabaseElement
        |
        +--operators.Operator
              |
              +--operators.FindContainsProductOperator
                    |
                    +--operators.FindContainsProductNathanOperator

public class FindContainsProductNathanOperator
extends FindContainsProductOperator

FindContainsProductNathanOperator.java

Version:
1.0
Author:
Nils Malzahn
See Also:
Serialized Form

Fields inherited from class operators.FindContainsProductOperator
searchservice
 
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
FindContainsProductNathanOperator()
           
 
Methods inherited from class operators.FindContainsProductOperator
clone, eval
 
Methods inherited from class operators.Operator
clear, 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

FindContainsProductNathanOperator

public FindContainsProductNathanOperator()