contradiction.h File Reference

#include "state_utils.h"
#include "symbol.h"

Include dependency graph for contradiction.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	contradiction_public_state_s
Typedefs
typedef enum contradiction_policy	contradiction_policy_t
Enumerations
enum	contradiction_policy { CONTRADICTION_DELETE, CONTRADICTION_COMMENT, CONTRADICTION_ERROR }
Functions
void	contradiction_policy (contradiction_policy_t pol)
void	insert_contradiction (char const *sub_format)
void	forget_contradiction (void)
void	flush_contradiction (void)
void	save_contradiction (char const *sub_format)
typedef struct contradiction_public_state_s	contradiction_public_state_t
contradiction_public_state_t *	contradiction_public_h
void	contradiction_initor (void)
void	contradiction_finitor (void)

---

Detailed Description

This file provides the Contradiction component interface

Definition in file contradiction.h.