| /dports/lang/maude/maude-2.7.1/src/Temporal/ |
| H A D | modelChecker2.hh | 54 struct StateSet struct in ModelChecker2
56 NatSet dfs1Seen;
57 NatSet onDfs1Stack;
58 NatSet dfs2Seen;
59 NatSet testedProps;
60 NatSet trueProps;
|
| /dports/multimedia/gstreamer1-plugins-rust/gst-plugins-rs-d0466b3eee114207f851b37cae0015c0e718f021/cargo-crates/atk-0.14.0/src/auto/ |
| H A D | state_set.rs | 19 impl StateSet { implementation
27 impl Default for StateSet { implementation
43 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in and_sets()
58 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in or_sets()
64 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in xor_sets()
81 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in and_sets()
113 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in or_sets()
131 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in xor_sets()
141 impl fmt::Display for StateSet { implementation
|
| /dports/sysutils/czkawka/czkawka-3.3.1/cargo-crates/atk-0.14.0/src/auto/ |
| H A D | state_set.rs | 19 impl StateSet { implementation
27 impl Default for StateSet { implementation
43 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in and_sets()
58 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in or_sets()
64 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in xor_sets()
81 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in and_sets()
113 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in or_sets()
131 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in xor_sets()
141 impl fmt::Display for StateSet { implementation
|
| /dports/audio/gnome-podcasts/podcasts-c86f7bfdef7692bbf20f315a90450321f6ca9ce7/cargo-crates/atk-0.14.0/src/auto/ |
| H A D | state_set.rs | 19 impl StateSet { impl
27 impl Default for StateSet { implementation
43 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in and_sets()
58 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in or_sets()
64 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in xor_sets()
81 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in and_sets()
113 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in or_sets()
131 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in xor_sets()
141 impl fmt::Display for StateSet { implementation
|
| /dports/www/castor/castor-0.8.16/cargo-crates/atk-0.8.0/src/auto/ |
| H A D | state_set.rs | 19 impl StateSet { implementation
26 impl Default for StateSet { implementation
39 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in and_sets()
49 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in or_sets()
53 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in xor_sets()
70 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in and_sets()
106 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in or_sets()
124 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in xor_sets()
134 impl fmt::Display for StateSet { implementation
|
| /dports/x11/squeekboard/squeekboard-d49ce45de0956432cef9b957f806d9377fee4bc0/cargo-crates/atk-0.7.0/src/auto/ |
| H A D | state_set.rs | 19 impl StateSet { impl
26 impl Default for StateSet { implementation
39 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in and_sets()
49 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in or_sets()
53 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in xor_sets()
70 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in and_sets()
106 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in or_sets()
124 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in xor_sets()
134 impl fmt::Display for StateSet { implementation
|
| /dports/net-im/fractal/fractal-4.4.0/vendor/atk/src/auto/ |
| H A D | state_set.rs | 19 impl StateSet { impl
26 impl Default for StateSet { implementation
39 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in and_sets()
49 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in or_sets()
53 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in xor_sets()
70 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in and_sets()
106 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in or_sets()
124 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in xor_sets()
134 impl fmt::Display for StateSet { implementation
|
| /dports/x11/sirula/sirula-1.0.0/cargo-crates/atk-0.14.0/src/auto/ |
| H A D | state_set.rs | 19 impl StateSet { impl
27 impl Default for StateSet { implementation
43 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in and_sets()
58 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in or_sets()
64 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet>; in xor_sets()
81 fn and_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in and_sets()
113 fn or_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in or_sets()
131 fn xor_sets<P: IsA<StateSet>>(&self, compare_set: &P) -> Option<StateSet> { in xor_sets()
141 impl fmt::Display for StateSet { implementation
|
| /dports/security/sequoia/sequoia-383133f6be990237044900a4df676488bf8dd71e/cargo-crates/lalrpop-0.17.2/src/lr1/lane_table/construct/ |
| H A D | state_set.rs | 10 pub struct StateSet { struct
14 impl UnifyKey for StateSet { implementation
|
| /dports/games/abstreet/abstreet-0.2.9-49-g74aca40c0/cargo-crates/lalrpop-0.16.3/src/lr1/lane_table/construct/ |
| H A D | state_set.rs | 10 pub struct StateSet { struct
14 impl UnifyKey for StateSet { argument
|
| /dports/net/krill/krill-0.9.4/cargo-crates/lalrpop-0.19.6/src/lr1/lane_table/construct/ |
| H A D | state_set.rs | 10 pub struct StateSet { struct
14 impl UnifyKey for StateSet { argument
|
| /dports/devel/hyperscan/hyperscan-5.4.0/util/ |
| H A D | ng_find_matches.cpp | 504 struct StateSet { struct
505 struct State {
520 struct WorkingData {
525 StateSet(size_t sz, u32 dist_in) : in StateSet() argument
537 void reset() { in reset()
546 bool empty() const { in empty()
558 size_t count() const { in count()
605 void dumpActiveStates() const { in dumpActiveStates()
744 vector<StateBitSet> shadows;
745 vector<StateBitSet> helpers;
[all …]
|
| /dports/accessibility/atkmm/atkmm-2.28.0/atk/atkmm/ |
| H A D | stateset.cc | 126 StateSet::StateSet(const Glib::ConstructParams& construct_params) in StateSet() function in Atk::StateSet
133 StateSet::StateSet(AtkStateSet* castitem) in StateSet() function in Atk::StateSet
139 StateSet::StateSet(StateSet&& src) noexcept in StateSet() function in Atk::StateSet
168 StateSet::StateSet() in StateSet() function in Atk::StateSet
|
| /dports/java/jflex/jflex-1.8.1/src/main/java/jflex/state/ |
| H A D | StateSet.java | 27 public final class StateSet implements Iterable<Integer> { class
47 public StateSet() { in StateSet() method in StateSet
57 public StateSet(int size) { in StateSet() method in StateSet
68 public StateSet(int size, int state) { in StateSet() method in StateSet
78 public StateSet(StateSet set) { in StateSet() method in StateSet
|
| /dports/cad/alliance/alliance/src/btr/src/ |
| H A D | btrfunc.c | 91 bddnode *loc_preimagebtrtransfunc( StateSet ) in loc_preimagebtrtransfunc() argument
197 bddnode *preimagebtrtransfunc( TransFunc, StateSet ) in preimagebtrtransfunc() argument
227 bddnode *loc_imagebtrtransfunc( StateSet ) in loc_imagebtrtransfunc() argument
333 bddnode *imagebtrtransfunc( TransFunc, StateSet ) in imagebtrtransfunc() argument
|
| /dports/graphics/osg/OpenSceneGraph-OpenSceneGraph-3.6.5/src/osgPlugins/dot/ |
| H A D | BaseDotVisitor.cpp | 158 void BaseDotVisitor::handle(osg::StateSet&, int) {} in handle()
160 void BaseDotVisitor::handle(osg::Node&, osg::StateSet&, int, int) {} in handle()
164 void BaseDotVisitor::handle(osg::Drawable&, osg::StateSet&, int, int) {} in handle()
|
| H A D | SimpleDotVisitor.cpp | 59 void SimpleDotVisitor::handle(osg::Node&, osg::StateSet&, int parentID, int childID ) in handle()
64 void SimpleDotVisitor::handle(osg::Drawable&, osg::StateSet&, int parentID, int childID ) in handle()
|
| /dports/accessibility/atkmm/atkmm-2.28.0/atk/atkmm/private/ |
| H A D | stateset_p.h | 23 friend class StateSet; variable
|
| /dports/devel/stylua/StyLua-0.11.0/cargo-crates/regex-automata-0.1.10/src/ |
| H A D | minimize.rs | 73 struct StateSet<S>(Rc<RefCell<Vec<S>>>); struct
255 impl<S: StateID> StateSet<S> { impl
|
| /dports/multimedia/librav1e/rav1e-0.5.1/cargo-crates/regex-automata-0.1.10/src/ |
| H A D | minimize.rs | 73 struct StateSet<S>(Rc<RefCell<Vec<S>>>); struct
255 impl<S: StateID> StateSet<S> { impl
|
| /dports/multimedia/rav1e/rav1e-0.5.1/cargo-crates/regex-automata-0.1.10/src/ |
| H A D | minimize.rs | 73 struct StateSet<S>(Rc<RefCell<Vec<S>>>); struct
255 impl<S: StateID> StateSet<S> { implementation
|
| /dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/regex-automata-0.1.10/src/ |
| H A D | minimize.rs | 73 struct StateSet<S>(Rc<RefCell<Vec<S>>>); struct
255 impl<S: StateID> StateSet<S> { impl
|
| /dports/misc/broot/broot-1.7.0/cargo-crates/regex-automata-0.1.10/src/ |
| H A D | minimize.rs | 73 struct StateSet<S>(Rc<RefCell<Vec<S>>>); struct
255 impl<S: StateID> StateSet<S> { impl
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/regex-automata-0.1.10/src/ |
| H A D | minimize.rs | 73 struct StateSet<S>(Rc<RefCell<Vec<S>>>); struct
255 impl<S: StateID> StateSet<S> { implementation
|
| /dports/devel/bingrep/bingrep-0.8.5/cargo-crates/regex-automata-0.1.9/src/ |
| H A D | minimize.rs | 73 struct StateSet<S>(Rc<RefCell<Vec<S>>>); struct
255 impl<S: StateID> StateSet<S> { impl
|