PslExpr Struct Reference

#include <pslExpr.h>

Data Fields
SyntaxClass	klass
PslNode_ptr	psl_node

---

Field Documentation

SyntaxClass PslExpr::klass

PslNode_ptr PslExpr::psl_node

---

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

• NuSMV/code/nusmv/core/parser/psl/pslExpr.h