Uses of Interface
org.xcsp.common.predicates.TreeEvaluator.TagArithmetic