tket::CliffordCircuitPredicate Class Reference

#include <Predicates.hpp>

Inheritance diagram for tket::CliffordCircuitPredicate:

Collaboration diagram for tket::CliffordCircuitPredicate:

Public Member Functions
bool	verify (const Circuit &circ) const override
bool	implies (const Predicate &other) const override
PredicatePtr	meet (const Predicate &other) const override
std::string	to_string () const override
Public Member Functions inherited from tket::Predicate
virtual	~Predicate ()

Detailed Description

Definition at line 188 of file Predicates.hpp.

Member Function Documentation

implies()

bool tket::CliffordCircuitPredicate::implies ( const Predicate &  other ) const

overridevirtual

Implements tket::Predicate.

Definition at line 460 of file Predicates.cpp.

meet()

PredicatePtr tket::CliffordCircuitPredicate::meet ( const Predicate &  other ) const

overridevirtual

Implements tket::Predicate.

Definition at line 464 of file Predicates.cpp.

to_string()

std::string tket::CliffordCircuitPredicate::to_string ( ) const

overridevirtual

Implements tket::Predicate.

Definition at line 468 of file Predicates.cpp.

verify()

bool tket::CliffordCircuitPredicate::verify ( const Circuit &  circ ) const

overridevirtual

Implements tket::Predicate.

Definition at line 449 of file Predicates.cpp.

---

The documentation for this class was generated from the following files:

• include/tket/Predicates/Predicates.hpp
• src/Predicates/Predicates.cpp