ConditionalParserModuleSemantics Class Reference

Inheritance diagram for ConditionalParserModuleSemantics:

Collaboration diagram for ConditionalParserModuleSemantics:

Data Structures
struct	conditionalLieral
Public Member Functions
	ConditionalParserModuleSemantics (ProgramCtx &ctx)
Data Fields
int	varnr
ConditionalLiteralPlugin::CtxData &	ctxdata

---

Detailed Description

Definition at line 134 of file ConditionalLiteralPlugin.cpp.

---

Constructor & Destructor Documentation

ConditionalParserModuleSemantics::ConditionalParserModuleSemantics

(

ProgramCtx &

ctx

)

[inline]

Definition at line 142 of file ConditionalLiteralPlugin.cpp.

---

Field Documentation

ConditionalLiteralPlugin::CtxData& ConditionalParserModuleSemantics::ctxdata

Definition at line 139 of file ConditionalLiteralPlugin.cpp.

int ConditionalParserModuleSemantics::varnr

Definition at line 138 of file ConditionalLiteralPlugin.cpp.

---

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

• src/ConditionalLiteralPlugin.cpp