bound_pretransformation

Classes

BoundPretransformation()

实现了[1]中提到的用于处理具有共同左侧（即约束体）的析取约束的转换的特殊情况。