dlinear::Literal Struct Reference

A literal is a variable with an associated truth value, indicating whether it is true or false. More...

#include <literal.h>

Public Attributes
Variable	var
	Variable.
bool	truth
	Truth value.

Detailed Description

A literal is a variable with an associated truth value, indicating whether it is true or false.

Definition at line 24 of file literal.h.

---

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

• dlinear/symbolic/literal.h