#include <types.h>
Public Attributes | |
Value | MaxN |
Value | MaxD |
Value | MinN |
Value | MinD |
int | MaxI |
int | MinI |
Definition at line 127 of file types.h.
Value interval::MaxD |
Definition at line 128 of file types.h.
Referenced by DomainCost().
int interval::MaxI |
Definition at line 130 of file types.h.
Referenced by DomainCost().
Value interval::MaxN |
Definition at line 128 of file types.h.
Referenced by DomainCost().
Value interval::MinD |
Definition at line 129 of file types.h.
Referenced by DomainCost().
int interval::MinI |
Definition at line 130 of file types.h.
Referenced by DomainCost().
Value interval::MinN |
Definition at line 129 of file types.h.
Referenced by DomainCost().