Options to configure rewriting. More...

#include <program.hh>

Public Attributes
ProjectionMode	project_mode = ProjectionMode::pure
	The projection mode.

bool	project_anonymous = false
	Whether to project anonymous variables in negative literals.

Detailed Description

Options to configure rewriting.

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

Public Attributes