qasm Namespace Reference

Classes
class	AbstractSyntaxTree
struct	AddBarrierExpr
struct	AddBitCondBranchExpr
struct	AddCommentExpr
struct	AddCondQopBracedExpr
struct	AddCondQopExpr
struct	AddCregExpr
struct	AddDeclarationExpr
struct	AddDelayExpr
struct	AddGateDeclExpr
struct	AddGateExpr
struct	AddInputDeclExpr
struct	AddMeasureExpr
struct	AddModifiedGateExpr
struct	AddOpaqueDeclExpr
struct	AddQregExpr
struct	AddResetExpr
class	BinaryOperator
class	CircToQasm
struct	CondBitTest
struct	CondHeadType
class	Constant
struct	DelayType
struct	error_handler_
class	Expression
class	Function
class	IndexedId
struct	MakeBinaryExpression
struct	MakeBitCondHeadExpression
struct	MakeCondBitTestExpression
struct	MakeConstantExpression
struct	MakeCtrlModifierExpression
struct	MakeDelayExpr
struct	MakeFunctionExpression
struct	MakeIndexedIdExpression
struct	MakePowModifierExpression
struct	MakeRegCondHeadExpression
struct	MakeUnaryExpression
struct	MakeVariableExpression
struct	ModifierType
struct	Program
class	QasmToCirc
struct	QoperationStatement
struct	RejectGateBodyModifierExpr
struct	RejectMeasureWithoutTargetExpr
struct	RejectQasm3OnlyGateExpr
struct	RejectUnsupportedConstructExpr
class	UnaryOperator
class	Variable

Typedefs
typedef std::shared_ptr< AbstractSyntaxTree >	AbstractSyntaxTreePtr
using	ArgumentType = std::variant<std::string, IndexedId>
using	BarrierType = MixedListType
using	CondOpType = boost::fusion::vector<std::string, int, QopType>
using	CXGateCallType = boost::fusion::vector<ArgumentType, ArgumentType>
using	DeclarationRegistry = std::unordered_map<std::string, DeclarationKind>
using	ExpGatecallType = boost::fusion::vector<std::string, std::vector<Expression>, MixedListType>
using	GatecallType = std::variant<SimpleGatecallType, ExpGatecallType>
using	GateDeclOpType = std::variant<UopType, SimpleBarrierType>
using	GateDeclType = boost::fusion::vector<std::string, std::vector<std::string>, std::vector<std::string>>
using	InputDeclType = boost::fusion::vector<std::string, boost::optional<int>, std::string>
using	MeasureType = boost::fusion::vector<ArgumentType, ArgumentType>
using	MixedListType = std::vector<ArgumentType>
using	ModifiedUopType = boost::fusion::vector<ModifierListType, UopType>
using	ModifierListType = std::vector<ModifierType>
using	OpaqueDeclType = boost::fusion::vector<std::string, std::vector<std::string>, std::vector<std::string>>
using	ProgramType = boost::fusion::vector<std::vector<std::string>, double, std::vector<std::string>, std::vector<StatementType>>
using	QopType = StatementType
using	RegisterMap = std::unordered_map<std::string, IndexedId>
using	ResetType = ArgumentType
using	SimpleBarrierType = std::vector<std::string>
using	SimpleExpType = std::variant<double, int, std::string>
using	SimpleGatecallType = boost::fusion::vector<std::string, MixedListType>
using	StatementType = QoperationStatement
using	UGateCallType = boost::fusion::vector<std::vector<Expression>, ArgumentType>
using	UopType = std::variant<UGateCallType, CXGateCallType, GatecallType>

Enumerations
enum class	DeclarationKind {   Qubit ,   Bit ,   Input ,   Gate ,   Opaque }
enum class	ModifierKind {   Ctrl ,   NegCtrl ,   Inv ,   Pow }

Functions
void	ApplyCondition (StatementType &stmt, const std::vector< int > &conditionBits, const std::vector< bool > &expectedValues)
template<typename Expr>
static AbstractSyntaxTreePtr	Clone (Expr const &t)
std::string_view	DeclarationKindName (DeclarationKind kind)
std::vector< bool >	DecodeRegisterCondition (const std::string &registerName, int value, size_t width)
double	EvaluateGateParameter (const Expression &parameter, const std::unordered_map< std::string, double > &variables)
UopType	MakeCall (const std::string &gateName, const std::vector< double > &params, const MixedListType &args)
template<class Time>
std::shared_ptr< Circuits::ICondition >	MakeEqualCondition (const std::vector< int > &conditionBits, const std::vector< bool > &expectedValues)
void	RegisterDeclaration (DeclarationRegistry &declarations, const std::string &name, DeclarationKind kind)
void	RejectPredicateMutationBeforeReevaluation (const std::vector< QopType > &body, const std::vector< int > &conditionBits, bool followedByElse, std::string_view branchName)
void	RequireMatchingRegisterWidths (const std::vector< int > &left, const std::vector< int > &right, std::string_view operation)
std::vector< int >	ResolveRegisterOperand (const ArgumentType &argument, const RegisterMap &registers, std::string_view kind)
double	ValidateInputBinding (const std::string &name, const std::string &type, const boost::optional< int > &width, double value)
void	ValidateInputDeclaration (const std::string &name, const std::string &type, const boost::optional< int > &width)
int	ValidateRegisterAllocation (const IndexedId &id, int currentSize, std::string_view kind)

Variables
phx::function< AddBarrierExpr >	AddBarrier
phx::function< AddCommentExpr >	AddComment
phx::function< AddCondQopExpr >	AddCondQop
phx::function< AddCondQopBracedExpr >	AddCondQopBraced
phx::function< AddCregExpr >	AddCreg
phx::function< AddDeclarationExpr >	AddDeclaration
phx::function< AddDelayExpr >	AddDelay
phx::function< AddGateExpr >	AddGate
phx::function< AddGateDeclExpr >	AddGateDecl
phx::function< AddInputDeclExpr >	AddInputDecl
phx::function< AddMeasureExpr >	AddMeasure
phx::function< AddModifiedGateExpr >	AddModifiedGate
phx::function< AddOpaqueDeclExpr >	AddOpaqueDecl
phx::function< AddQregExpr >	AddQreg
phx::function< AddResetExpr >	AddReset
phx::function< error_handler_ > const	error_handler = error_handler_()
phx::function< MakeBinaryExpression >	MakeBinary
phx::function< MakeBitCondHeadExpression >	MakeBitCondHead
phx::function< MakeCondBitTestExpression >	MakeCondBitTest
phx::function< MakeConstantExpression >	MakeConstant
phx::function< MakeCtrlModifierExpression >	MakeCtrlModifier
phx::function< MakeDelayExpr >	MakeDelay
phx::function< MakeFunctionExpression >	MakeFunction
phx::function< MakeIndexedIdExpression >	MakeIndexedId
phx::function< MakePowModifierExpression >	MakePowModifier
phx::function< MakeRegCondHeadExpression >	MakeRegCondHead
phx::function< MakeUnaryExpression >	MakeUnary
phx::function< MakeVariableExpression >	MakeVariable
phx::function< RejectGateBodyModifierExpr >	RejectGateBodyModifier
phx::function< RejectMeasureWithoutTargetExpr >	RejectMeasureWithoutTarget
phx::function< RejectQasm3OnlyGateExpr >	RejectQasm3OnlyGate
phx::function< RejectUnsupportedConstructExpr >	RejectUnsupportedConstruct

---

Class Documentation

qasm::CondBitTest

struct qasm::CondBitTest

Definition at line 354 of file SimpleOps.h.

Collaboration diagram for qasm::CondBitTest:

Class Members
IndexedId	bit
bool	expected = true

qasm::CondHeadType

struct qasm::CondHeadType

Definition at line 360 of file SimpleOps.h.

Collaboration diagram for qasm::CondHeadType:

Class Members
vector< CondBitTest >	bits
bool	isBitForm = false
string	regId
int	regValue = 0

qasm::DelayType

struct qasm::DelayType

Definition at line 325 of file SimpleOps.h.

Collaboration diagram for qasm::DelayType:

Class Members
double	duration = 0.0
MixedListType	operands

Typedef Documentation

AbstractSyntaxTreePtr

typedef std::shared_ptr<AbstractSyntaxTree> qasm::AbstractSyntaxTreePtr

Definition at line 66 of file Expr.h.

ArgumentType

using qasm::ArgumentType = std::variant<std::string, IndexedId>

Definition at line 131 of file SimpleOps.h.

BarrierType

using qasm::BarrierType = MixedListType

Definition at line 323 of file SimpleOps.h.

CondOpType

using qasm::CondOpType = boost::fusion::vector<std::string, int, QopType>

Definition at line 333 of file SimpleOps.h.

CXGateCallType

using qasm::CXGateCallType = boost::fusion::vector<ArgumentType, ArgumentType>

Definition at line 176 of file SimpleOps.h.

DeclarationRegistry

using qasm::DeclarationRegistry = std::unordered_map<std::string, DeclarationKind>

Definition at line 68 of file SimpleOps.h.

ExpGatecallType

using qasm::ExpGatecallType = boost::fusion::vector<std::string, std::vector<Expression>, MixedListType>

Definition at line 172 of file SimpleOps.h.

GatecallType

using qasm::GatecallType = std::variant<SimpleGatecallType, ExpGatecallType>

Definition at line 173 of file SimpleOps.h.

GateDeclOpType

using qasm::GateDeclOpType = std::variant<UopType, SimpleBarrierType>

Definition at line 427 of file SimpleOps.h.

GateDeclType

using qasm::GateDeclType = boost::fusion::vector<std::string, std::vector<std::string>, std::vector<std::string>>

Definition at line 425 of file SimpleOps.h.

InputDeclType

using qasm::InputDeclType = boost::fusion::vector<std::string, boost::optional<int>, std::string>

Definition at line 134 of file SimpleOps.h.

MeasureType

using qasm::MeasureType = boost::fusion::vector<ArgumentType, ArgumentType>

Definition at line 322 of file SimpleOps.h.

MixedListType

using qasm::MixedListType = std::vector<ArgumentType>

Definition at line 133 of file SimpleOps.h.

ModifiedUopType

using qasm::ModifiedUopType = boost::fusion::vector<ModifierListType, UopType>

Definition at line 213 of file SimpleOps.h.

ModifierListType

using qasm::ModifierListType = std::vector<ModifierType>

Definition at line 212 of file SimpleOps.h.

OpaqueDeclType

using qasm::OpaqueDeclType = boost::fusion::vector<std::string, std::vector<std::string>, std::vector<std::string>>

Definition at line 428 of file SimpleOps.h.

ProgramType

using qasm::ProgramType = boost::fusion::vector<std::vector<std::string>, double, std::vector<std::string>, std::vector<StatementType>>

Definition at line 319 of file SimpleOps.h.

QopType

using qasm::QopType = StatementType

Definition at line 332 of file SimpleOps.h.

RegisterMap

using qasm::RegisterMap = std::unordered_map<std::string, IndexedId>

Definition at line 132 of file SimpleOps.h.

ResetType

using qasm::ResetType = ArgumentType

Definition at line 321 of file SimpleOps.h.

SimpleBarrierType

using qasm::SimpleBarrierType = std::vector<std::string>

Definition at line 426 of file SimpleOps.h.

SimpleExpType

using qasm::SimpleExpType = std::variant<double, int, std::string>

Definition at line 129 of file SimpleOps.h.

SimpleGatecallType

using qasm::SimpleGatecallType = boost::fusion::vector<std::string, MixedListType>

Definition at line 171 of file SimpleOps.h.

StatementType

using qasm::StatementType = QoperationStatement

Definition at line 317 of file SimpleOps.h.

UGateCallType

using qasm::UGateCallType = boost::fusion::vector<std::vector<Expression>, ArgumentType>

Definition at line 175 of file SimpleOps.h.

UopType

using qasm::UopType = std::variant<UGateCallType, CXGateCallType, GatecallType>

Definition at line 178 of file SimpleOps.h.

Enumeration Type Documentation

DeclarationKind

enum class qasm::DeclarationKind

strong

Enumerator
Qubit
Bit
Input
Gate
Opaque

Definition at line 59 of file SimpleOps.h.

ModifierKind

enum class qasm::ModifierKind

strong

Enumerator
Ctrl
NegCtrl
Inv
Pow

Definition at line 182 of file SimpleOps.h.

Function Documentation

ApplyCondition()

void qasm::ApplyCondition ( StatementType & stmt, const std::vector< int > & conditionBits, const std::vector< bool > & expectedValues )

inline

Definition at line 1116 of file SyntaxTree.h.

References ApplyCondition(), qasm::QoperationStatement::cbits, qasm::QoperationStatement::condBits, qasm::QoperationStatement::condExpected, qasm::QoperationStatement::CondUop, qasm::QoperationStatement::Measurement, qasm::QoperationStatement::opType, and qasm::QoperationStatement::Reset.

Referenced by ApplyCondition(), qasm::AddBitCondBranchExpr::operator()(), and qasm::AddCondQopExpr::operator()().

Clone()

template<typename Expr>

AbstractSyntaxTreePtr qasm::Clone ( Expr const & t )

static

Definition at line 68 of file Expr.h.

Referenced by qasm::BinaryOperator::BinaryOperator(), qasm::Function::Function(), and qasm::UnaryOperator::UnaryOperator().

DeclarationKindName()

std::string_view qasm::DeclarationKindName ( DeclarationKind kind )

inline

Definition at line 70 of file SimpleOps.h.

References Bit, Gate, Input, Opaque, and Qubit.

Referenced by RegisterDeclaration().

DecodeRegisterCondition()

std::vector< bool > qasm::DecodeRegisterCondition ( const std::string & registerName, int value, size_t width )

inline

Definition at line 1094 of file SyntaxTree.h.

References DecodeRegisterCondition().

Referenced by DecodeRegisterCondition(), qasm::AddCondQopBracedExpr::operator()(), and qasm::AddCondQopExpr::operator()().

EvaluateGateParameter()

double qasm::EvaluateGateParameter ( const Expression & parameter, const std::unordered_map< std::string, double > & variables )

inline

Definition at line 25 of file SyntaxTree.h.

References qasm::Expression::Eval().

Referenced by qasm::AddModifiedGateExpr::Canonicalize().

MakeCall()

UopType qasm::MakeCall ( const std::string & gateName, const std::vector< double > & params, const MixedListType & args )

inline

Definition at line 36 of file SyntaxTree.h.

Referenced by qasm::AddModifiedGateExpr::ConjugateNegatedControls().

MakeEqualCondition()

template<class Time>

std::shared_ptr< Circuits::ICondition > qasm::MakeEqualCondition ( const std::vector< int > & conditionBits, const std::vector< bool > & expectedValues )

inline

Definition at line 1081 of file SyntaxTree.h.

References Circuits::CircuitFactory< Time >::CreateEqualCondition(), and MakeEqualCondition().

Referenced by qasm::Program::AddToCircuit(), and MakeEqualCondition().

RegisterDeclaration()

void qasm::RegisterDeclaration ( DeclarationRegistry & declarations, const std::string & name, DeclarationKind kind )

inline

Definition at line 89 of file SimpleOps.h.

References DeclarationKindName().

Referenced by qasm::AddCregExpr::operator()(), qasm::AddGateDeclExpr::operator()(), qasm::AddInputDeclExpr::operator()(), qasm::AddOpaqueDeclExpr::operator()(), and qasm::AddQregExpr::operator()().

RejectPredicateMutationBeforeReevaluation()

void qasm::RejectPredicateMutationBeforeReevaluation ( const std::vector< QopType > & body, const std::vector< int > & conditionBits, bool followedByElse, std::string_view branchName )

inline

Definition at line 1184 of file SyntaxTree.h.

References qasm::QoperationStatement::Measurement, and RejectPredicateMutationBeforeReevaluation().

Referenced by qasm::AddCondQopBracedExpr::operator()(), and RejectPredicateMutationBeforeReevaluation().

RequireMatchingRegisterWidths()

void qasm::RequireMatchingRegisterWidths ( const std::vector< int > & left, const std::vector< int > & right, std::string_view operation )

inline

Definition at line 165 of file SimpleOps.h.

Referenced by qasm::AddMeasureExpr::operator()().

ResolveRegisterOperand()

std::vector< int > qasm::ResolveRegisterOperand ( const ArgumentType & argument, const RegisterMap & registers, std::string_view kind )

inline

Definition at line 136 of file SimpleOps.h.

References qasm::IndexedId::base, and qasm::IndexedId::index.

Referenced by qasm::AddBarrierExpr::operator()(), qasm::AddCondQopBracedExpr::operator()(), qasm::AddCondQopExpr::operator()(), qasm::AddDelayExpr::operator()(), qasm::AddMeasureExpr::operator()(), qasm::AddResetExpr::operator()(), and qasm::AddGateExpr::ParseQubits().

ValidateInputBinding()

double qasm::ValidateInputBinding ( const std::string & name, const std::string & type, const boost::optional< int > & width, double value )

inline

Definition at line 553 of file SimpleOps.h.

References ValidateInputDeclaration().

Referenced by qasm::AddInputDeclExpr::operator()().

ValidateInputDeclaration()

void qasm::ValidateInputDeclaration ( const std::string & name, const std::string & type, const boost::optional< int > & width )

inline

Definition at line 519 of file SimpleOps.h.

Referenced by qasm::AddInputDeclExpr::operator()(), and ValidateInputBinding().

ValidateRegisterAllocation()

int qasm::ValidateRegisterAllocation ( const IndexedId & id, int currentSize, std::string_view kind )

inline

Definition at line 101 of file SimpleOps.h.

Referenced by qasm::AddCregExpr::operator()(), and qasm::AddQregExpr::operator()().

Variable Documentation

AddBarrier

phx::function<AddBarrierExpr> qasm::AddBarrier

inline

Definition at line 745 of file SimpleOps.h.

AddComment

phx::function<AddCommentExpr> qasm::AddComment

inline

Definition at line 498 of file SimpleOps.h.

AddCondQop

phx::function<AddCondQopExpr> qasm::AddCondQop

inline

Definition at line 1156 of file SyntaxTree.h.

AddCondQopBraced

phx::function<AddCondQopBracedExpr> qasm::AddCondQopBraced

inline

Definition at line 1286 of file SyntaxTree.h.

AddCreg

phx::function<AddCregExpr> qasm::AddCreg

inline

Definition at line 453 of file SimpleOps.h.

AddDeclaration

phx::function<AddDeclarationExpr> qasm::AddDeclaration

inline

Definition at line 517 of file SimpleOps.h.

AddDelay

phx::function<AddDelayExpr> qasm::AddDelay

inline

Definition at line 792 of file SimpleOps.h.

AddGate

phx::function<AddGateExpr> qasm::AddGate

inline

Definition at line 604 of file SyntaxTree.h.

AddGateDecl

phx::function<AddGateDeclExpr> qasm::AddGateDecl

inline

Definition at line 883 of file SimpleOps.h.

AddInputDecl

phx::function<AddInputDeclExpr> qasm::AddInputDecl

inline

Definition at line 640 of file SimpleOps.h.

AddMeasure

phx::function<AddMeasureExpr> qasm::AddMeasure

inline

Definition at line 662 of file SimpleOps.h.

AddModifiedGate

phx::function<AddModifiedGateExpr> qasm::AddModifiedGate

inline

Definition at line 993 of file SyntaxTree.h.

AddOpaqueDecl

phx::function<AddOpaqueDeclExpr> qasm::AddOpaqueDecl

inline

Definition at line 826 of file SimpleOps.h.

AddQreg

phx::function<AddQregExpr> qasm::AddQreg

inline

Definition at line 478 of file SimpleOps.h.

AddReset

phx::function<AddResetExpr> qasm::AddReset

inline

Definition at line 708 of file SimpleOps.h.

error_handler

phx::function<error_handler_> const qasm::error_handler = error_handler_()

inline

Definition at line 36 of file Qasm.h.

MakeBinary

phx::function<MakeBinaryExpression> qasm::MakeBinary

inline

Definition at line 276 of file Expr.h.

MakeBitCondHead

phx::function<MakeBitCondHeadExpression> qasm::MakeBitCondHead

inline

Definition at line 423 of file SimpleOps.h.

MakeCondBitTest

phx::function<MakeCondBitTestExpression> qasm::MakeCondBitTest

inline

Definition at line 405 of file SimpleOps.h.

MakeConstant

phx::function<MakeConstantExpression> qasm::MakeConstant

inline

Definition at line 126 of file Expr.h.

MakeCtrlModifier

phx::function<MakeCtrlModifierExpression> qasm::MakeCtrlModifier

inline

Definition at line 276 of file SimpleOps.h.

MakeDelay

phx::function<MakeDelayExpr> qasm::MakeDelay

inline

Definition at line 769 of file SimpleOps.h.

MakeFunction

phx::function<MakeFunctionExpression> qasm::MakeFunction

inline

Definition at line 403 of file Expr.h.

MakeIndexedId

phx::function<MakeIndexedIdExpression> qasm::MakeIndexedId

inline

Definition at line 127 of file SimpleOps.h.

MakePowModifier

phx::function<MakePowModifierExpression> qasm::MakePowModifier

inline

Definition at line 235 of file SimpleOps.h.

MakeRegCondHead

phx::function<MakeRegCondHeadExpression> qasm::MakeRegCondHead

inline

Definition at line 387 of file SimpleOps.h.

MakeUnary

phx::function<MakeUnaryExpression> qasm::MakeUnary

inline

Definition at line 336 of file Expr.h.

MakeVariable

phx::function<MakeVariableExpression> qasm::MakeVariable

inline

Definition at line 174 of file Expr.h.

RejectGateBodyModifier

phx::function<RejectGateBodyModifierExpr> qasm::RejectGateBodyModifier

inline

Definition at line 1015 of file SyntaxTree.h.

RejectMeasureWithoutTarget

phx::function<RejectMeasureWithoutTargetExpr> qasm::RejectMeasureWithoutTarget

inline

Definition at line 690 of file SimpleOps.h.

RejectQasm3OnlyGate

phx::function<RejectQasm3OnlyGateExpr> qasm::RejectQasm3OnlyGate

inline

Definition at line 1078 of file SyntaxTree.h.

RejectUnsupportedConstruct

phx::function<RejectUnsupportedConstructExpr> qasm::RejectUnsupportedConstruct

inline

Definition at line 1038 of file SyntaxTree.h.