My Project
|
#include <Rules.h>
Classes | |
struct | ValueTy |
Static Public Member Functions | |
static ValueTy | initialValue () |
static ValueTy | reduce (ValueTy lhs, ValueTy rhs) |
A fact and reducer for tracking agreement of discrete values. The value type consists of a |T| value and a flag indicating whether there is a conflict (in which case, the preserved value is arbitrary).
|
inlinestatic |
|
inlinestatic |