ltlNode_t Struct Reference

Collaboration diagram for ltlNode_t:

Public Attributes
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.

Member Data Documentation

left

struct ltlNode_t* ltlNode_t::left

Definition at line 42 of file ltl_parser.c.

name

char* ltlNode_t::name

Definition at line 40 of file ltl_parser.c.

pObj

Aig_Obj_t* ltlNode_t::pObj

Definition at line 41 of file ltl_parser.c.

right

struct ltlNode_t* ltlNode_t::right

Definition at line 43 of file ltl_parser.c.

type

tokenType ltlNode_t::type

Definition at line 39 of file ltl_parser.c.

---

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

• src/proof/live/ltl_parser.c