ltlNode_t Struct Reference

Data Fields
tokenType	type
char *	name
Aig_Obj_t *	pObj
struct ltlNode_t *	left
struct ltlNode_t *	right

Detailed Description

Definition at line 37 of file ltl_parser.c.

Field Documentation

struct ltlNode_t* ltlNode_t::left

Definition at line 42 of file ltl_parser.c.

char* ltlNode_t::name

Definition at line 40 of file ltl_parser.c.

Aig_Obj_t* ltlNode_t::pObj

Definition at line 41 of file ltl_parser.c.

struct ltlNode_t* ltlNode_t::right

Definition at line 43 of file ltl_parser.c.

tokenType ltlNode_t::type

Definition at line 39 of file ltl_parser.c.

---

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

• ltl_parser.c