Home
last modified time | relevance | path

Searched refs:getLiteral (Results 1 – 25 of 363) sorted by relevance

12345678910>>...15

/dports/math/clasp/clasp-3.3.5/tests/
H A Dunfounded_check_test.cpp67 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 Ddlp_builder_test.cpp43 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 Denumerator_test.cpp112 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 Dprogram_builder_test.cpp99 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 Ddependency_graph_test.cpp94 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 Ddecision_heuristic_test.cpp327 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 Dparser_test.cpp104 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 Dunfounded_check_test.cpp67 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 Ddlp_builder_test.cpp43 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 Denumerator_test.cpp112 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 Dprogram_builder_test.cpp99 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 Ddependency_graph_test.cpp94 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 Ddecision_heuristic_test.cpp327 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 Dparser_test.cpp104 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 Dunfounded_check_test.cpp67 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 Ddlp_builder_test.cpp43 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 Denumerator_test.cpp112 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 Dprogram_builder_test.cpp99 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 Ddependency_graph_test.cpp94 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 Ddecision_heuristic_test.cpp327 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 Dparser_test.cpp104 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 DDefaultLiteralExpr.java82 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 DIntArrayData.java83 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 DIntArrayData.java83 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 DToken.hs238 | 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 …]

12345678910>>...15