public override bool IsViolated()
 {
     return(IsBound() &&
            !Epsilon.GreaterEqual(Var0.Value, m_Value));
 }