public bool Compare(BoolVariable v)
 {
     return(value == v.value);
 }
 public void Set(BoolVariable v)
 {
     value = v.value;
 }