The algorithm prescribes the rule constraints and expresses them using Boolean expression.

• IMAR算法采用布尔表达式形式化的表示规则约束。