Home
last modified time | relevance | path

Searched refs:StatePair (Results 1 – 17 of 17) sorted by relevance

/dports/graphics/vulkan-validation-layers/Vulkan-ValidationLayers-1.2.203/external/robin-hood-hashing/src/test/unit/
H A Dunit_undefined_behavior_nekrolm.cpp58 struct StatePair { struct
64 StatePair() = default; argument
66 StatePair(First f, Second s) in StatePair() argument
81 inline bool operator<(const StatePair other) const noexcept { in operator <() argument
95 struct StatePair<First, VoidState> { argument
100 inline StatePair() noexcept = default; argument
126 struct StatePair<VoidState, Second> { argument
134 inline StatePair() noexcept = default;
158 class hash<StatePair<First, Second>> { argument
196 using InternalStateId = StatePair<FstStatePair, FState>;
[all …]
/dports/devel/hadoop2/hadoop-2.7.2-src/hadoop-tools/hadoop-rumen/src/main/java/org/apache/hadoop/tools/rumen/state/
H A DStateDeserializer.java22 import org.apache.hadoop.tools.rumen.state.StatePool.StatePair;
33 public class StateDeserializer extends StdDeserializer<StatePair> {
35 super(StatePair.class); in StateDeserializer()
39 public StatePair deserialize(JsonParser parser, in deserialize()
57 return new StatePair(state); in deserialize()
H A DStatePool.java81 public static class StatePair { class in StatePool
85 public StatePair(State state) { in StatePair() method in StatePool.StatePair
110 private HashMap<String, StatePair> pool = new HashMap<String, StatePair>();
118 pool.put(id.getName(), new StatePair(state)); in addState()
131 for (StatePair statePair : pool.values()) { in isUpdated()
222 module.addDeserializer(StatePair.class, new StateDeserializer()); in read()
330 public HashMap<String, StatePair> getStates() { in getStates()
337 public void setStates(HashMap<String, StatePair> states) { in setStates()
/dports/www/chromium-legacy/chromium-88.0.4324.182/chrome/updater/mac/
H A Dupdate_service_proxy_test.mm58 StateChangeTestEngine(std::vector<StatePair>&& state_vec);
79 using vec_size_t = std::vector<StatePair>::size_type;
108 std::vector<StatePair> state_seq_;
313 #pragma mark StatePair helpers
315 StateChangeTestEngine::StatePair CheckingForUpdatesStates(
317 StateChangeTestEngine::StatePair ret;
341 StateChangeTestEngine::StatePair ret;
367 StateChangeTestEngine::StatePair ret;
394 StateChangeTestEngine::StatePair ret;
421 StateChangeTestEngine::StatePair ret;
[all …]
/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h98 typedef std::pair<ExecutionState*,ExecutionState*> StatePair; typedef
354 StatePair fork(ExecutionState &current, ref<Expr> condition, bool isInternal);
H A DExecutor.cpp961 Executor::StatePair
1006 return StatePair(0, 0);
1091 return StatePair(&current, 0);
1099 return StatePair(0, &current);
1170 return StatePair(0, 0);
1173 return StatePair(trueState, falseState);
2116 Executor::StatePair branches = fork(state, cond, false);
2423 StatePair res = fork(*free, EqExpr::create(v, value), true);
3979 StatePair hugeSize =
4053 StatePair branches = fork(*unbound, inBounds, true);
[all …]
H A DSpecialFunctionHandler.cpp726 Executor::StatePair zeroSize = executor.fork(state, in handleRealloc()
734 Executor::StatePair zeroPointer = executor.fork(*zeroSize.second, in handleRealloc()
/dports/math/openfst/openfst-1.8.1/src/include/fst/
H A Dstate-table.h263 const std::pair<StateId, StateId> &StatePair() const { return state_pair_; } in StatePair() function
300 const std::pair<StateId, StateId> &StatePair() const { return state_pair_; } in StatePair() function
H A Ddisambiguate.h294 related_.insert(opts.state_table->Tuple(s).StatePair()); in CommonFuture()
/dports/security/klee/klee-2.2/docs/
H A Doverview26 /// klee::ExecutionState::StatePair which is a pair of ExecutionState to be
/dports/textproc/regex2dfa/regex2dfa-0.1.6/third_party/openfst/src/include/fst/
H A Dstate-table.h253 const pair<StateId, StateId>& StatePair() const { in StatePair() function
H A Ddisambiguate.h326 related_.insert(tuple.StatePair()); in CommonFuture()
/dports/net/ooni-probe-cli/probe-cli-3.10.1/vendor/github.com/ooni/psiphon/oopsi/github.com/redjack/marionette/third_party/openfst/src/include/fst/
H A Dstate-table.h253 const pair<StateId, StateId>& StatePair() const { in StatePair() function
H A Ddisambiguate.h326 related_.insert(tuple.StatePair()); in CommonFuture()
/dports/net/ooni-mini/probe-engine-0.23.0/vendor/github.com/ooni/psiphon/oopsi/github.com/redjack/marionette/third_party/openfst/src/include/fst/
H A Dstate-table.h253 const pair<StateId, StateId>& StatePair() const { in StatePair() function
H A Ddisambiguate.h326 related_.insert(tuple.StatePair()); in CommonFuture()
/dports/lang/maude/maude-2.7.1/src/Higher/
H A DChangeLog2459 (class ModelChecker): added typedef StatePair and data member