Weakest and Incremental Preconditions for Constraint Checking

• 约束检查的最弱及增量前条件方法