File structures.h

↰ Parent directory (src)

Definition (src/structures.h)

• Program Listing for File structures.h

Includes

• assert.h
• iostream
• primitive_types.h (File primitive_types.h)
• vector

Included By

• File model_sampler.h
• File statistics.h
• File containers.h
• File cached_assignment.h
• File instance.h

Classes

• Struct Variable
• Class Antecedent
• Class ClauseHeader
• Class Literal
• Class LiteralID

Functions

• Function NOT_A_LIT

Defines

• Define F_TRI
• Define INVALID_DL
• Define SENTINEL_LIT
• Define T_TRI
• Define X_TRI

Typedefs

• Typedef TriValue