/dports/graphics/vulkan-validation-layers/Vulkan-ValidationLayers-1.2.203/external/robin-hood-hashing/src/test/unit/ |
H A D | unit_undefined_behavior_nekrolm.cpp | 58 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 D | StateDeserializer.java | 22 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 D | StatePool.java | 81 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 D | update_service_proxy_test.mm | 58 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 D | Executor.h | 98 typedef std::pair<ExecutionState*,ExecutionState*> StatePair; typedef 354 StatePair fork(ExecutionState ¤t, ref<Expr> condition, bool isInternal);
|
H A D | Executor.cpp | 961 Executor::StatePair 1006 return StatePair(0, 0); 1091 return StatePair(¤t, 0); 1099 return StatePair(0, ¤t); 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 D | SpecialFunctionHandler.cpp | 726 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 D | state-table.h | 263 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 D | disambiguate.h | 294 related_.insert(opts.state_table->Tuple(s).StatePair()); in CommonFuture()
|
/dports/security/klee/klee-2.2/docs/ |
H A D | overview | 26 /// 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 D | state-table.h | 253 const pair<StateId, StateId>& StatePair() const { in StatePair() function
|
H A D | disambiguate.h | 326 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 D | state-table.h | 253 const pair<StateId, StateId>& StatePair() const { in StatePair() function
|
H A D | disambiguate.h | 326 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 D | state-table.h | 253 const pair<StateId, StateId>& StatePair() const { in StatePair() function
|
H A D | disambiguate.h | 326 related_.insert(tuple.StatePair()); in CommonFuture()
|
/dports/lang/maude/maude-2.7.1/src/Higher/ |
H A D | ChangeLog | 2459 (class ModelChecker): added typedef StatePair and data member
|