Python Condition.compare_conditionsの例

コード例 #1

ファイル: parse_results.py プロジェクト: oguzey/DiffAnalysis

assert c == c2

c = Condition(Side(a, a2, a3, g3), Side(g2), StateConditions.IS_EQUAL)
c1 = Condition(Side(a, a2), Side(), StateConditions.IS_NOT_ZERO)

c2 = Condition(Side(a, a2, a3, g3), Side(g2), StateConditions.IS_EQUAL)
c.update_with(c1)

assert c == c2
"""test of compare """
c = Condition(Side(a, a2, a3, g3), Side(g2), StateConditions.IS_EQUAL)
c_copy = Condition(Side(a, a2, a3, g3), Side(g2), StateConditions.IS_EQUAL)
c2 = Condition(Side(a, a2, a3, g3, g2), Side(), StateConditions.IS_NOT_ZERO)
c2_copy = Condition(Side(a, a2, a3, g3, g2), Side(),
                    StateConditions.IS_NOT_ZERO)
assert c.compare_conditions(c2) == CompareCondition.CONTRADICTION
assert c == c_copy and c2 == c2_copy

c = Condition(Side(a, g3), Side(), StateConditions.IS_ZERO)
c_copy = Condition(Side(a, g3), Side(), StateConditions.IS_ZERO)
c2 = Condition(Side(a, g3), Side(a2, a3, g2), StateConditions.IS_EQUAL)
c2_copy = Condition(Side(a, g3), Side(a2, a3, g2), StateConditions.IS_EQUAL)
assert c.compare_conditions(c2) == CompareCondition.NOT_EQUAL
assert c == c_copy and c2 == c2_copy

c = Condition(Side(a), Side(g3, g2), StateConditions.IS_EQUAL)
c_copy = Condition(Side(a), Side(g3, g2), StateConditions.IS_EQUAL)
c2 = Condition(Side(g3), Side(a, g2), StateConditions.IS_EQUAL)
c2_copy = Condition(Side(g3), Side(a, g2), StateConditions.IS_EQUAL)
assert c.compare_conditions(c2) == CompareCondition.EQUAL
assert c == c_copy and c2 == c2_copy

コード例 #2

ファイル: parse_results.py プロジェクト: oguzey-cv/DiffAnalysis

assert c == c2

c = Condition(Side(a, a2, a3, g3), Side(g2), StateConditions.IS_EQUAL)
c1 = Condition(Side(a, a2), Side(), StateConditions.IS_NOT_ZERO)

c2 = Condition(Side(a, a2, a3, g3), Side(g2), StateConditions.IS_EQUAL)
c.update_with(c1)

assert c == c2

"""test of compare """
c = Condition(Side(a, a2, a3, g3), Side(g2), StateConditions.IS_EQUAL)
c_copy = Condition(Side(a, a2, a3, g3), Side(g2), StateConditions.IS_EQUAL)
c2 = Condition(Side(a, a2, a3, g3, g2), Side(), StateConditions.IS_NOT_ZERO)
c2_copy = Condition(Side(a, a2, a3, g3, g2), Side(), StateConditions.IS_NOT_ZERO)
assert c.compare_conditions(c2) == CompareCondition.CONTRADICTION
assert c == c_copy and c2 == c2_copy


c = Condition(Side(a, g3), Side(), StateConditions.IS_ZERO)
c_copy = Condition(Side(a, g3), Side(), StateConditions.IS_ZERO)
c2 = Condition(Side(a, g3), Side(a2, a3, g2), StateConditions.IS_EQUAL)
c2_copy = Condition(Side(a, g3), Side(a2, a3, g2), StateConditions.IS_EQUAL)
assert c.compare_conditions(c2) == CompareCondition.NOT_EQUAL
assert c == c_copy and c2 == c2_copy

c = Condition(Side(a), Side(g3, g2), StateConditions.IS_EQUAL)
c_copy = Condition(Side(a), Side(g3, g2), StateConditions.IS_EQUAL)
c2 = Condition(Side(g3), Side(a, g2), StateConditions.IS_EQUAL)
c2_copy = Condition(Side(g3), Side(a, g2), StateConditions.IS_EQUAL)
assert c.compare_conditions(c2) == CompareCondition.EQUAL