Struct Variable

• Defined in File structures.h

Struct Documentation

struct Variable

Simple variable structure used for storing variable related information including its antecedent and the decision level in the stack.

Public Members

Antecedent ante

long decision_level = -1