tket::CommutableMeasuresPredicate Class Reference

Asserts that any internal measurements can be commuted to the end of the circuit. More...

#include <Predicates.hpp>

Inheritance diagram for tket::CommutableMeasuresPredicate:

Collaboration diagram for tket::CommutableMeasuresPredicate:

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

Asserts that any internal measurements can be commuted to the end of the circuit.

Definition at line 261 of file Predicates.hpp.

Member Function Documentation

implies()

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

overridevirtual

Implements tket::Predicate.

Definition at line 602 of file Predicates.cpp.

meet()

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

overridevirtual

Implements tket::Predicate.

Definition at line 606 of file Predicates.cpp.

to_string()

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

overridevirtual

Implements tket::Predicate.

Definition at line 610 of file Predicates.cpp.

verify()

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

overridevirtual

Implements tket::Predicate.

Definition at line 593 of file Predicates.cpp.

---

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

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