| /dports/lang/maude/maude-2.7.1/src/Higher/ |
| H A D | positionState.hh | 34 class PositionState class
36 NO_COPYING(PositionState);
54 ~PositionState();
88 PositionState::getFlags() const in getFlags()
94 PositionState::getDagNode() const in getDagNode()
101 PositionState::getDagNode(PositionIndex index) const in getDagNode()
108 PositionState::getExtensionInfo() in getExtensionInfo()
119 inline PositionState::PositionIndex
120 PositionState::getPositionIndex() const in getPositionIndex()
126 inline PositionState::DagPair
[all …]
|
| H A D | positionState.cc | 44 PositionState::PositionState(DagNode* top, int flags, int minDepth, int maxDepth) in PositionState() function in PositionState
59 PositionState::~PositionState() in ~PositionState()
65 PositionState::exploreNextPosition() in exploreNextPosition()
100 PositionState::findNextPosition() in findNextPosition()
120 PositionState::DagPair
121 PositionState::rebuildDag(DagNode* replacement, ExtensionInfo* extInfo, PositionIndex index) const in rebuildDag()
148 PositionState::rebuildAndInstantiateDag(DagNode* replacement, in rebuildAndInstantiateDag()
|
| H A D | higher.hh | 30 class PositionState;
|
| H A D | ChangeLog | 192 * variantNarrowingSearchState.hh (PositionState): added data
371 (PositionState): updated ctor; added data member odd
416 (PositionState): added data member unificationMode
474 * variantNarrowingSearchState.hh (PositionState): store a
485 * variantNarrowingSearchState.hh (PositionState): added data
487 (PositionState): added data member blockerSubstitution
513 * variantNarrowingSearchState.hh (PositionState): added data
1067 * positionState.cc (PositionState): make sure we have
1406 * positionState.hh (class PositionState): added decl for
1802 (class PositionState): added typedef for PositionIndex
[all …]
|
| H A D | variantNarrowingSearchState.hh | 32 class VariantNarrowingSearchState : public PositionState
|
| H A D | narrowingSearchState.hh | 31 class NarrowingSearchState : public PositionState
|
| /dports/www/firefox-esr/firefox-91.8.0/dom/media/mediasession/ |
| H A D | MediaSession.h | 29 struct PositionState { struct
30 PositionState() = default;
31 PositionState(double aDuration, double aPlaybackRate, in PositionState() function
124 Maybe<PositionState> mPositionState;
|
| H A D | MediaSessionIPCUtils.h | 69 struct ParamTraits<mozilla::dom::PositionState> {
70 typedef mozilla::dom::PositionState paramType;
|
| /dports/www/firefox/firefox-99.0/dom/media/mediasession/ |
| H A D | MediaSession.h | 29 struct PositionState { struct
30 PositionState() = default;
31 PositionState(double aDuration, double aPlaybackRate, in PositionState() function
124 Maybe<PositionState> mPositionState;
|
| H A D | MediaSessionIPCUtils.h | 67 struct ParamTraits<mozilla::dom::PositionState> {
68 typedef mozilla::dom::PositionState paramType;
|
| /dports/mail/thunderbird/thunderbird-91.8.0/dom/media/mediasession/ |
| H A D | MediaSession.h | 29 struct PositionState { struct
30 PositionState() = default;
31 PositionState(double aDuration, double aPlaybackRate, in PositionState() function
124 Maybe<PositionState> mPositionState;
|
| H A D | MediaSessionIPCUtils.h | 69 struct ParamTraits<mozilla::dom::PositionState> {
70 typedef mozilla::dom::PositionState paramType;
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data/System/Data/SqlClient/ |
| H A D | SqlDataReaderSmi.cs | 373 if( PositionState.AfterResults != _currentPosition ) in InternalNextResult()
451 return PositionState.OnRow == _currentPosition; in InternalRead()
920 internal enum PositionState enum in System.Data.SqlClient.SqlDataReaderSmi
968 _currentPosition = PositionState.BeforeResults; in SqlDataReaderSmi()
1048 if (_currentPosition != PositionState.OnRow) { in EnsureOnRow()
1065 …return (PositionState.AfterResults == _currentPosition || PositionState.BeforeResults == _currentP… in FNotInResults()
1075 _currentPosition = PositionState.BeforeRows; in MetaDataAvailable()
1104 _currentPosition = PositionState.OnRow; in RowAvailable()
1111 _currentPosition = PositionState.OnRow; in RowAvailable()
1117 _currentPosition = PositionState.AfterRows; in StatementCompleted()
[all …]
|
| /dports/lang/spidermonkey78/firefox-78.9.0/dom/media/mediasession/ |
| H A D | MediaSession.h | 26 struct PositionState { struct
27 PositionState(double aDuration, double aPlaybackRate, in PositionState() function
103 Maybe<PositionState> mPositionState;
|
| /dports/www/firefox-esr/firefox-91.8.0/dom/media/mediacontrol/ |
| H A D | MediaStatusManager.h | 122 const PositionState& aState) = 0;
167 const PositionState& aState) override;
184 MediaEventSource<PositionState>& PositionChangedEvent() { in PositionChangedEvent()
270 MediaEventProducer<PositionState> mPositionStateChangedEvent;
|
| /dports/www/firefox/firefox-99.0/dom/media/mediacontrol/ |
| H A D | MediaStatusManager.h | 122 const PositionState& aState) = 0;
167 const PositionState& aState) override;
184 MediaEventSource<PositionState>& PositionChangedEvent() { in PositionChangedEvent()
270 MediaEventProducer<PositionState> mPositionStateChangedEvent;
|
| /dports/mail/thunderbird/thunderbird-91.8.0/dom/media/mediacontrol/ |
| H A D | MediaStatusManager.h | 122 const PositionState& aState) = 0;
167 const PositionState& aState) override;
184 MediaEventSource<PositionState>& PositionChangedEvent() { in PositionChangedEvent()
270 MediaEventProducer<PositionState> mPositionStateChangedEvent;
|
| /dports/www/firefox-esr/firefox-91.8.0/mobile/android/geckoview/src/main/java/org/mozilla/geckoview/ |
| H A D | MediaSession.java | 279 @NonNull final PositionState state) {} in onPositionState()
491 public static class PositionState { class in MediaSession
515 protected PositionState( in PositionState() method in MediaSession.PositionState
524 /* package */ static @NonNull PositionState fromBundle( in fromBundle()
526 return new PositionState( in fromBundle()
719 final PositionState state = in handleMessage()
720 PositionState.fromBundle(message.getBundle("state")); in handleMessage()
|
| /dports/www/firefox/firefox-99.0/mobile/android/geckoview/src/main/java/org/mozilla/geckoview/ |
| H A D | MediaSession.java | 250 @NonNull final PositionState state) {} in onPositionState()
432 public static class PositionState { class in MediaSession
452 protected PositionState( in PositionState() method in MediaSession.PositionState
459 /* package */ static @NonNull PositionState fromBundle(final GeckoBundle bundle) { in fromBundle()
460 return new PositionState( in fromBundle()
621 final PositionState state = PositionState.fromBundle(message.getBundle("state")); in handleMessage()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/mobile/android/geckoview/src/main/java/org/mozilla/geckoview/ |
| H A D | MediaSession.java | 279 @NonNull final PositionState state) {} in onPositionState()
491 public static class PositionState { class in MediaSession
515 protected PositionState( in PositionState() method in MediaSession.PositionState
524 /* package */ static @NonNull PositionState fromBundle( in fromBundle()
526 return new PositionState( in fromBundle()
719 final PositionState state = in handleMessage()
720 PositionState.fromBundle(message.getBundle("state")); in handleMessage()
|
| /dports/lang/maude/maude-2.7.1/src/StrategyLanguage/ |
| H A D | matchProcess.hh | 38 PositionState::PositionIndex redexIndex,
55 const PositionState::PositionIndex redexIndex; // index of redex withing rewrite state
|
| H A D | rewriteTask.hh | 39 PositionState::PositionIndex redexIndex,
59 const PositionState::PositionIndex redexIndex; // index of redex withing rewrite state
|
| H A D | applicationProcess.hh | 49 PositionState::PositionIndex redexIndex,
63 PositionState::PositionIndex redexIndex,
|
| H A D | applicationProcess.cc | 153 PositionState::PositionIndex redexIndex, in doRewrite()
228 PositionState::PositionIndex redexIndex, in resolveRemainingConditionFragments()
|
| /dports/textproc/highlight/highlight-4.1/src/include/ |
| H A D | codegenerator.h | 901 struct PositionState { struct
905 PositionState(const State s, const unsigned int kwc, bool ws) in PositionState() argument
910 vector<PositionState> stateTraceCurrent, stateTraceTest;
|