C++ (Cpp) CEF Exemples

Exemple #1

Fichier : Jet.cpp Projet : dhidas/UserCode

bool Jet::isGood() const {
    // bool passesPt = pt() > 30; // Bristol original value
    bool passesPt = pt() > 35;  // 19.07.11 Chris's value
    bool passesEta = fabs(eta()) < 2.4;
    bool jetID = false;
    //if (usedAlgorithm == JetAlgorithm::ParticleFlow || usedAlgorithm == JetAlgorithm::PF2PAT) {
    if (usedAlgorithm == JetAlgorithm::CA08PF || usedAlgorithm == JetAlgorithm::PF2PAT) {
        bool passNOD = NOD() > 1;
        bool passCEF = CEF() < 0.99;
        bool passNHF = NHF() < 0.99;
        bool passNEF = NEF() < 0.99;
        bool passCHF = true;
        bool passNCH = true;
        if (fabs(eta()) < 2.4) {
            passCHF = CHF() > 0;
            passNCH = NCH() > 0;
        }
        jetID = passNOD && passCEF && passNHF && passNEF && passCHF && passNCH;
    }
    else{
        bool passesEMF = emf() > 0.01;
        bool passesN90Hits = n90Hits() > 1;
        bool passesFHPD = fHPD() < 0.98;
        jetID = passesEMF && passesN90Hits && passesFHPD;
    }
    return passesPt && passesEta && jetID;
}

Exemple #2

Fichier : neg-1394-fail.original.c Projet : ArtisticCoding/T2

int __phi() { return CEF(CAND(CAP(keA==1),CEG(CAP(keR!=1)))); }

Exemple #3

Fichier : smagillc-fail.c Projet : ArtisticCoding/T2

 inline int __phi() { return CIMP(CAP(c>5),CEF(CAP(resp>5))); }

Exemple #4

Fichier : e-1394complete-succeed.original.c Projet : ArtisticCoding/T2

/* prove that either IoCompleteRequest is called, 
   or a value other than STATUS_SUCCESS is returned. */
int __phi() { return CAND(
			 CEF(CAP(phi_io_compl == 1)),
			 CEF(CAP(phi_nSUC_ret  == 1))); }

Exemple #5

Fichier : neg-popl07-succeed.original.c Projet : ArtisticCoding/T2

int __phi() { return CEF(CAND(CAP(set==1),CEG(CAP(unset!=1)))); }

Exemple #6

Fichier : e-1394-succeed.c Projet : ArtisticCoding/T2

 inline int __phi() { return CAG(CIMP(CAP(keA==1),CEF(CAP(keR==1)))); }

Exemple #7

Fichier : neg-st88b-succeed.original.c Projet : ArtisticCoding/T2

int __phi() { return CEF(CEG(CAP(WItemsNum<1))); }

Exemple #8

Fichier : e-acqrel-fail.original.c Projet : ArtisticCoding/T2

int __phi() { return CAG(CIMP(CAP(A==1),CEF(CAP(R==1)))); }

Exemple #9

Fichier : neg-e-acqrel-succeed.original.c Projet : ArtisticCoding/T2

int __phi() { return CEF(CAND(CAP(A==1),CAG(CAP(R!=1)))); }

Exemple #10

Fichier : e-pgarch-fail.c Projet : ArtisticCoding/T2

 inline int __phi() { return CAG(CEF(CAP(wakend == 1))); }

Exemple #11

Fichier : neg-pgarch-succeed.original.c Projet : ArtisticCoding/T2

int __phi() { return CEF(CEG(CAP(wakend != 1))); }

Exemple #12

Fichier : neg-acqrel-fail.c Projet : ArtisticCoding/T2

 inline int __phi() { return CEF(CAND(CAP(A==1),CEG(CAP(R!=1)))); }