/dports/math/clasp/clasp-3.3.5/tests/ |
H A D | unfounded_check_test.cpp | 67 index.push_back(lp.getLiteral(v)); 172 solver.assume(~lp.getLiteral(1)); 183 solver.assume(~lp.getLiteral(1)); 207 solver.assume(lp.getLiteral(3)); 245 solver.assume(lp.getLiteral(4)); 329 solver.force(~lp.getLiteral(3)); 390 ctx.addUnary(~lp.getLiteral(3)); 397 REQUIRE((solver.isFalse(lp.getLiteral(1)) && solver.isFalse(lp.getLiteral(2)))); 412 ctx.addUnary(~lp.getLiteral(3)); 416 REQUIRE((solver.isFalse(lp.getLiteral(1)) && solver.isFalse(lp.getLiteral(2)))); [all …]
|
H A D | dlp_builder_test.cpp | 43 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 54 REQUIRE(lp.getLiteral(b) == lp.getLiteral(c)); 55 REQUIRE(lp.getLiteral(a) == lit_true()); 62 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 130 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 188 ctx.master()->assume(lp.getLiteral(a)); 245 ctx.addUnary(~lp.getLiteral(a)); 265 Literal u = ~lp.getLiteral(a); 338 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 339 REQUIRE(lp.getLiteral(b) != lp.getLiteral(c)); [all …]
|
H A D | enumerator_test.cpp | 112 solver.assume(lp.getLiteral(1)); 114 solver.assume(lp.getLiteral(2)); 116 solver.assume(lp.getLiteral(3)); 140 solver.assume(lp.getLiteral(x)); 142 solver.assume(lp.getLiteral(y)); 236 …numWatches(lp.getLiteral(1)) + solver.numWatches(lp.getLiteral(2)) + solver.numWatches(lp.getLiter… 239 …numWatches(lp.getLiteral(1)) + solver.numWatches(lp.getLiteral(2)) + solver.numWatches(lp.getLiter… 457 Literal models[][1] = {{~lp.getLiteral(1)}, {lp.getLiteral(1)}}; 479 Literal models[][1] = {{~lp.getLiteral(1)}, {lp.getLiteral(1)}}; 498 Literal x1 = lp.getLiteral(1); [all …]
|
H A D | program_builder_test.cpp | 99 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 119 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 166 REQUIRE( lp.getLiteral(a) == ~lp.getLiteral(b) ); 178 REQUIRE( lp.getLiteral(a) == lp.getLiteral(b) ); 189 REQUIRE( lp.getLiteral(c) == lp.getLiteral(d) ); 201 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 575 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 636 REQUIRE(lp.getLiteral(b) == lp.getLiteral(d)); 637 REQUIRE(lp.getLiteral(a) != lp.getLiteral(c)); 653 REQUIRE(lp.getLiteral(b) == lp.getLiteral(d)); [all …]
|
H A D | dependency_graph_test.cpp | 94 REQUIRE(lp.getLiteral(6) == lp.getLiteral(7)); 95 REQUIRE(~lp.getLiteral(6) == lp.getLiteral(5)); 138 REQUIRE(body.preds()[2] == lp.getLiteral(2).rep()); 167 REQUIRE(body.preds()[3] == lp.getLiteral(2).rep()); 168 REQUIRE(body.preds()[5] == lp.getLiteral(3).rep()); 279 ctx.master()->assume(lp.getLiteral(1)); 281 REQUIRE(ctx.master()->isFalse(lp.getLiteral(2))); 308 Literal lit = lp.getLiteral(3); 340 REQUIRE(s.isFalse(lp.getLiteral(x2))); 343 REQUIRE(s.isFalse(lp.getLiteral(x5))); [all …]
|
H A D | decision_heuristic_test.cpp | 327 REQUIRE(s.isTrue(lp.getLiteral(a))); 333 REQUIRE(s.isTrue(~lp.getLiteral(a))); 341 REQUIRE(s.isTrue(lp.getLiteral(a))); 353 REQUIRE(s.isTrue(lp.getLiteral(a))); 369 REQUIRE(s.isTrue(lp.getLiteral(a))); 371 REQUIRE(s.isFalse(lp.getLiteral(b))); 374 REQUIRE(s.isTrue(~lp.getLiteral(c))); 394 REQUIRE(s.isTrue(lp.getLiteral(a))); 411 REQUIRE(s.isTrue(lp.getLiteral(a))); 415 REQUIRE(s.isTrue(lp.getLiteral(c))); [all …]
|
H A D | parser_test.cpp | 104 REQUIRE(ctx.master()->isTrue(api.getLiteral(3))); 105 REQUIRE(ctx.master()->isTrue(api.getLiteral(1))); 106 REQUIRE(ctx.master()->isFalse(api.getLiteral(2))); 107 REQUIRE(ctx.master()->isFalse(api.getLiteral(4))); 118 REQUIRE(api.getLiteral(2) == api.getLiteral(1)); 119 REQUIRE(api.getLiteral(4) == api.getLiteral(1)); 298 REQUIRE(api.getLiteral(1) == lit_true()); 530 Literal a = api.getLiteral(1); 531 Literal b = api.getLiteral(2); 532 Literal c = api.getLiteral(3); [all …]
|
/dports/math/clingo/clingo-5.5.1/clasp/tests/ |
H A D | unfounded_check_test.cpp | 67 index.push_back(lp.getLiteral(v)); 172 solver.assume(~lp.getLiteral(1)); 183 solver.assume(~lp.getLiteral(1)); 207 solver.assume(lp.getLiteral(3)); 245 solver.assume(lp.getLiteral(4)); 329 solver.force(~lp.getLiteral(3)); 390 ctx.addUnary(~lp.getLiteral(3)); 397 REQUIRE((solver.isFalse(lp.getLiteral(1)) && solver.isFalse(lp.getLiteral(2)))); 412 ctx.addUnary(~lp.getLiteral(3)); 416 REQUIRE((solver.isFalse(lp.getLiteral(1)) && solver.isFalse(lp.getLiteral(2)))); [all …]
|
H A D | dlp_builder_test.cpp | 43 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 54 REQUIRE(lp.getLiteral(b) == lp.getLiteral(c)); 55 REQUIRE(lp.getLiteral(a) == lit_true()); 62 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 130 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 188 ctx.master()->assume(lp.getLiteral(a)); 245 ctx.addUnary(~lp.getLiteral(a)); 265 Literal u = ~lp.getLiteral(a); 338 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 339 REQUIRE(lp.getLiteral(b) != lp.getLiteral(c)); [all …]
|
H A D | enumerator_test.cpp | 112 solver.assume(lp.getLiteral(1)); 114 solver.assume(lp.getLiteral(2)); 116 solver.assume(lp.getLiteral(3)); 140 solver.assume(lp.getLiteral(x)); 142 solver.assume(lp.getLiteral(y)); 236 …numWatches(lp.getLiteral(1)) + solver.numWatches(lp.getLiteral(2)) + solver.numWatches(lp.getLiter… 239 …numWatches(lp.getLiteral(1)) + solver.numWatches(lp.getLiteral(2)) + solver.numWatches(lp.getLiter… 457 Literal models[][1] = {{~lp.getLiteral(1)}, {lp.getLiteral(1)}}; 479 Literal models[][1] = {{~lp.getLiteral(1)}, {lp.getLiteral(1)}}; 498 Literal x1 = lp.getLiteral(1); [all …]
|
H A D | program_builder_test.cpp | 99 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 119 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 166 REQUIRE( lp.getLiteral(a) == ~lp.getLiteral(b) ); 178 REQUIRE( lp.getLiteral(a) == lp.getLiteral(b) ); 189 REQUIRE( lp.getLiteral(c) == lp.getLiteral(d) ); 201 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 575 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 636 REQUIRE(lp.getLiteral(b) == lp.getLiteral(d)); 637 REQUIRE(lp.getLiteral(a) != lp.getLiteral(c)); 653 REQUIRE(lp.getLiteral(b) == lp.getLiteral(d)); [all …]
|
H A D | dependency_graph_test.cpp | 94 REQUIRE(lp.getLiteral(6) == lp.getLiteral(7)); 95 REQUIRE(~lp.getLiteral(6) == lp.getLiteral(5)); 138 REQUIRE(body.preds()[2] == lp.getLiteral(2).rep()); 167 REQUIRE(body.preds()[3] == lp.getLiteral(2).rep()); 168 REQUIRE(body.preds()[5] == lp.getLiteral(3).rep()); 279 ctx.master()->assume(lp.getLiteral(1)); 281 REQUIRE(ctx.master()->isFalse(lp.getLiteral(2))); 308 Literal lit = lp.getLiteral(3); 340 REQUIRE(s.isFalse(lp.getLiteral(x2))); 343 REQUIRE(s.isFalse(lp.getLiteral(x5))); [all …]
|
H A D | decision_heuristic_test.cpp | 327 REQUIRE(s.isTrue(lp.getLiteral(a))); 333 REQUIRE(s.isTrue(~lp.getLiteral(a))); 341 REQUIRE(s.isTrue(lp.getLiteral(a))); 353 REQUIRE(s.isTrue(lp.getLiteral(a))); 369 REQUIRE(s.isTrue(lp.getLiteral(a))); 371 REQUIRE(s.isFalse(lp.getLiteral(b))); 374 REQUIRE(s.isTrue(~lp.getLiteral(c))); 394 REQUIRE(s.isTrue(lp.getLiteral(a))); 411 REQUIRE(s.isTrue(lp.getLiteral(a))); 415 REQUIRE(s.isTrue(lp.getLiteral(c))); [all …]
|
H A D | parser_test.cpp | 104 REQUIRE(ctx.master()->isTrue(api.getLiteral(3))); 105 REQUIRE(ctx.master()->isTrue(api.getLiteral(1))); 106 REQUIRE(ctx.master()->isFalse(api.getLiteral(2))); 107 REQUIRE(ctx.master()->isFalse(api.getLiteral(4))); 118 REQUIRE(api.getLiteral(2) == api.getLiteral(1)); 119 REQUIRE(api.getLiteral(4) == api.getLiteral(1)); 298 REQUIRE(api.getLiteral(1) == lit_true()); 530 Literal a = api.getLiteral(1); 531 Literal b = api.getLiteral(2); 532 Literal c = api.getLiteral(3); [all …]
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/ |
H A D | unfounded_check_test.cpp | 67 index.push_back(lp.getLiteral(v)); 172 solver.assume(~lp.getLiteral(1)); 183 solver.assume(~lp.getLiteral(1)); 207 solver.assume(lp.getLiteral(3)); 245 solver.assume(lp.getLiteral(4)); 329 solver.force(~lp.getLiteral(3)); 390 ctx.addUnary(~lp.getLiteral(3)); 397 REQUIRE((solver.isFalse(lp.getLiteral(1)) && solver.isFalse(lp.getLiteral(2)))); 412 ctx.addUnary(~lp.getLiteral(3)); 416 REQUIRE((solver.isFalse(lp.getLiteral(1)) && solver.isFalse(lp.getLiteral(2)))); [all …]
|
H A D | dlp_builder_test.cpp | 43 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 54 REQUIRE(lp.getLiteral(b) == lp.getLiteral(c)); 55 REQUIRE(lp.getLiteral(a) == lit_true()); 62 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 130 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 188 ctx.master()->assume(lp.getLiteral(a)); 245 ctx.addUnary(~lp.getLiteral(a)); 265 Literal u = ~lp.getLiteral(a); 338 REQUIRE(lp.getLiteral(a) != lp.getLiteral(b)); 339 REQUIRE(lp.getLiteral(b) != lp.getLiteral(c)); [all …]
|
H A D | enumerator_test.cpp | 112 solver.assume(lp.getLiteral(1)); 114 solver.assume(lp.getLiteral(2)); 116 solver.assume(lp.getLiteral(3)); 140 solver.assume(lp.getLiteral(x)); 142 solver.assume(lp.getLiteral(y)); 236 …numWatches(lp.getLiteral(1)) + solver.numWatches(lp.getLiteral(2)) + solver.numWatches(lp.getLiter… 239 …numWatches(lp.getLiteral(1)) + solver.numWatches(lp.getLiteral(2)) + solver.numWatches(lp.getLiter… 457 Literal models[][1] = {{~lp.getLiteral(1)}, {lp.getLiteral(1)}}; 479 Literal models[][1] = {{~lp.getLiteral(1)}, {lp.getLiteral(1)}}; 498 Literal x1 = lp.getLiteral(1); [all …]
|
H A D | program_builder_test.cpp | 99 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 119 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 166 REQUIRE( lp.getLiteral(a) == ~lp.getLiteral(b) ); 178 REQUIRE( lp.getLiteral(a) == lp.getLiteral(b) ); 189 REQUIRE( lp.getLiteral(c) == lp.getLiteral(d) ); 201 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 575 REQUIRE(lp.getLiteral(a) == lp.getLiteral(b)); 636 REQUIRE(lp.getLiteral(b) == lp.getLiteral(d)); 637 REQUIRE(lp.getLiteral(a) != lp.getLiteral(c)); 653 REQUIRE(lp.getLiteral(b) == lp.getLiteral(d)); [all …]
|
H A D | dependency_graph_test.cpp | 94 REQUIRE(lp.getLiteral(6) == lp.getLiteral(7)); 95 REQUIRE(~lp.getLiteral(6) == lp.getLiteral(5)); 138 REQUIRE(body.preds()[2] == lp.getLiteral(2).rep()); 167 REQUIRE(body.preds()[3] == lp.getLiteral(2).rep()); 168 REQUIRE(body.preds()[5] == lp.getLiteral(3).rep()); 279 ctx.master()->assume(lp.getLiteral(1)); 281 REQUIRE(ctx.master()->isFalse(lp.getLiteral(2))); 308 Literal lit = lp.getLiteral(3); 340 REQUIRE(s.isFalse(lp.getLiteral(x2))); 343 REQUIRE(s.isFalse(lp.getLiteral(x5))); [all …]
|
H A D | decision_heuristic_test.cpp | 327 REQUIRE(s.isTrue(lp.getLiteral(a))); 333 REQUIRE(s.isTrue(~lp.getLiteral(a))); 341 REQUIRE(s.isTrue(lp.getLiteral(a))); 353 REQUIRE(s.isTrue(lp.getLiteral(a))); 369 REQUIRE(s.isTrue(lp.getLiteral(a))); 371 REQUIRE(s.isFalse(lp.getLiteral(b))); 374 REQUIRE(s.isTrue(~lp.getLiteral(c))); 394 REQUIRE(s.isTrue(lp.getLiteral(a))); 411 REQUIRE(s.isTrue(lp.getLiteral(a))); 415 REQUIRE(s.isTrue(lp.getLiteral(c))); [all …]
|
H A D | parser_test.cpp | 104 REQUIRE(ctx.master()->isTrue(api.getLiteral(3))); 105 REQUIRE(ctx.master()->isTrue(api.getLiteral(1))); 106 REQUIRE(ctx.master()->isFalse(api.getLiteral(2))); 107 REQUIRE(ctx.master()->isFalse(api.getLiteral(4))); 118 REQUIRE(api.getLiteral(2) == api.getLiteral(1)); 119 REQUIRE(api.getLiteral(4) == api.getLiteral(1)); 298 REQUIRE(api.getLiteral(1) == lit_true()); 530 Literal a = api.getLiteral(1); 531 Literal b = api.getLiteral(2); 532 Literal c = api.getLiteral(3); [all …]
|
/dports/java/jaxen/jaxen-1.0-FCS/src/java/main/org/jaxen/expr/ |
H A D | DefaultLiteralExpr.java | 82 public String getLiteral() in getLiteral() method in DefaultLiteralExpr 89 return "[(DefaultLiteralExpr): " + getLiteral() + "]"; in toString() 94 return "\"" + getLiteral() + "\""; in getText() 99 return getLiteral(); in evaluate()
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jaxws/src/share/jaxws_classes/com/sun/xml/internal/bind/v2/runtime/unmarshaller/ |
H A D | IntArrayData.java | 83 return getLiteral().length(); in length() 87 return getLiteral().charAt(index); in charAt() 91 return getLiteral().subSequence(start,end); in subSequence() 97 private StringBuilder getLiteral() { in getLiteral() method in IntArrayData
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jaxws/src/share/jaxws_classes/com/sun/xml/internal/bind/v2/runtime/unmarshaller/ |
H A D | IntArrayData.java | 83 return getLiteral().length(); in length() 87 return getLiteral().charAt(index); in charAt() 91 return getLiteral().subSequence(start,end); in subSequence() 97 private StringBuilder getLiteral() { in getLiteral() method in IntArrayData
|
/dports/textproc/cgrep/cgrep-6.6.32/src/CGrep/Parser/Cpp/ |
H A D | Token.hs | 238 | x == '<' = Just $ TokenHeaderName (getLiteral '<' '>' False xs) 0 313 | x == '"' = Just $ TokenString (getLiteral '"' '"' False xs) 0 320 | x == '\'' = Just $ TokenChar (getLiteral '\'' '\'' False xs) 0 345 getLiteral :: Char -> Char -> Bool -> C.ByteString -> String 346 getLiteral _ _ _ (C.uncons -> Nothing) = [] function 347 getLiteral b e False ys@(C.uncons -> Just (x,xs)) function 348 | x == b = b : getLiteral b e True xs 350 getLiteral b e True (C.uncons -> Just (x,xs)) function 352 | x == '\\' = '\\' : x' : getLiteral b e True xs' 353 | otherwise = x : getLiteral b e True xs [all …]
|