Lines Matching refs:CS
18 ConstraintSystem CS; in TEST() local
20 CS.addVariableRow({10, 1, 1}); in TEST()
21 CS.addVariableRow({-5, -1, 0}); in TEST()
22 CS.addVariableRow({-6, 0, -1}); in TEST()
23 CS.addVariableRow({10, 1, 0}); in TEST()
24 CS.addVariableRow({10, 0, 1}); in TEST()
26 EXPECT_FALSE(CS.mayHaveSolution()); in TEST()
30 ConstraintSystem CS; in TEST() local
32 CS.addVariableRow({10, 1, 1}); in TEST()
33 CS.addVariableRow({-2, -1, 0}); in TEST()
34 CS.addVariableRow({-3, 0, -1}); in TEST()
35 CS.addVariableRow({10, 1, 0}); in TEST()
36 CS.addVariableRow({10, 0, 1}); in TEST()
38 EXPECT_TRUE(CS.mayHaveSolution()); in TEST()
42 ConstraintSystem CS; in TEST() local
44 CS.addVariableRow({10, 1, 1}); in TEST()
45 CS.addVariableRow({-10, -1, 0}); in TEST()
46 CS.addVariableRow({-10, 0, -1}); in TEST()
48 EXPECT_FALSE(CS.mayHaveSolution()); in TEST()
52 ConstraintSystem CS; in TEST() local
54 CS.addVariableRow({-20, -1, -1}); in TEST()
55 CS.addVariableRow({-10, -1, 0}); in TEST()
56 CS.addVariableRow({-10, 0, -1}); in TEST()
58 EXPECT_TRUE(CS.mayHaveSolution()); in TEST()
62 ConstraintSystem CS; in TEST() local
65 CS.addVariableRow({10, 2, 1, 3}); in TEST()
66 CS.addVariableRow({-10, -2, -1, 0}); in TEST()
67 CS.addVariableRow({-1, 0, 0, -1}); in TEST()
69 EXPECT_FALSE(CS.mayHaveSolution()); in TEST()
73 ConstraintSystem CS; in TEST() local
76 CS.addVariableRow({10, 2, 1, 3}); in TEST()
77 CS.addVariableRow({-10, -2, -1, 0}); in TEST()
79 EXPECT_TRUE(CS.mayHaveSolution()); in TEST()
87 ConstraintSystem CS; in TEST() local
88 CS.addVariableRow({5, 1, 0}); in TEST()
89 CS.addVariableRow({3, 0, 1}); in TEST()
92 EXPECT_FALSE(CS.isConditionImplied({6, 1, 1})); in TEST()
94 EXPECT_FALSE(CS.isConditionImplied({7, 1, 1})); in TEST()
96 EXPECT_TRUE(CS.isConditionImplied({8, 1, 1})); in TEST()
99 EXPECT_FALSE(CS.isConditionImplied({12, 2, 1})); in TEST()
101 EXPECT_TRUE(CS.isConditionImplied({13, 2, 1})); in TEST()
104 EXPECT_FALSE(CS.isConditionImplied({12, 2, 1})); in TEST()
106 EXPECT_TRUE(CS.isConditionImplied({13, 2, 1})); in TEST()
109 EXPECT_FALSE(CS.isConditionImplied({0, 1, -1})); in TEST()
111 EXPECT_FALSE(CS.isConditionImplied({0, -1, 1})); in TEST()
117 ConstraintSystem CS; in TEST() local
118 CS.addVariableRow({0, 1, -1}); in TEST()
121 EXPECT_TRUE(CS.isConditionImplied({0, 1, -1})); in TEST()
123 EXPECT_FALSE(CS.isConditionImplied({0, -1, 1})); in TEST()
126 EXPECT_TRUE(CS.isConditionImplied({10, 1, -1})); in TEST()
128 EXPECT_FALSE(CS.isConditionImplied({-10, 1, -1})); in TEST()
135 ConstraintSystem CS; in TEST() local
136 CS.addVariableRow({0, 1, -1, 0}); in TEST()
137 CS.addVariableRow({0, 0, 1, -1}); in TEST()
140 EXPECT_FALSE(CS.isConditionImplied({0, 0, -1, 1})); in TEST()
142 EXPECT_TRUE(CS.isConditionImplied({0, 1, 0, -1})); in TEST()
147 ConstraintSystem CS; in TEST() local
150 CS.addVariableRow({Limit - 1, Limit - 2, Limit - 3}); in TEST()
151 EXPECT_FALSE(CS.isConditionImplied({Limit - 1, Limit - 2, Limit - 3})); in TEST()