_Rule Struct Reference

#include <rules.h>

List of all members.

Public Attributes

Id p
Id d
Id w1
Id w2
Id n1
Id n2


Detailed Description

Definition at line 38 of file rules.h.


Member Data Documentation

Definition at line 45 of file rules.h.

Referenced by addwatches_rule(), makewatches(), propagate(), solver_addrule(), and solver_printrule().

Definition at line 45 of file rules.h.

Referenced by addwatches_rule(), makewatches(), propagate(), solver_addrule(), and solver_printrule().


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

doxygen