EL::ProofWorker Class Reference

Inheritance diagram for EL::ProofWorker:
EL::Worker

List of all members.

Public Member Functions

void testInvariant () const
 ProofWorker (const SH::MetaObject *val_metaData, TList *output, ProofTSelector *selector)

Friends

class ProofTSelector

Constructor & Destructor Documentation

EL::ProofWorker::ProofWorker ( const SH::MetaObject val_metaData,
TList *  output,
ProofTSelector selector 
)

effects: standard constructor guarantee: strong failures: low level errors I requires: val_metaData != 0 requires: output != 0 requires: input != 0 requires: selector != 0


Member Function Documentation

void EL::ProofWorker::testInvariant (  )  const

effects: test the invariant of this object guarantee: no-fail

Reimplemented from EL::Worker.


Friends And Related Function Documentation

friend class ProofTSelector [friend]

rationale: I split this into two classes, because TSelector needs to be serializable and Worker is not.


The documentation for this class was generated from the following files:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Generated on 15 Apr 2017 for RootCore Packages by  doxygen 1.6.1