Home
last modified time | relevance | path

Searched defs:initialStates (Results 1 – 10 of 10) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Temporal/
H A DveryWeakAlternatingAutomaton.hh58 TransitionSet initialStates; member in VeryWeakAlternatingAutomaton
H A DbuchiAutomaton2.hh64 NatSet initialStates; member in BuchiAutomaton2
H A DmodelChecker2.cc49 const NatSet& initialStates = propertyAutomaton.getInitialStates(); in findCounterexample() local
H A DgenBuchiAutomaton.hh101 NatSet initialStates; member in GenBuchiAutomaton
/dports/games/gemrb/gemrb-0.9.0/gemrb/core/
H A DDialog.h88 DialogState** initialStates; variable
/dports/www/gitea/gitea-1.16.5/vendor/github.com/blevesearch/vellum/levenshtein/
H A Dlevenshtein_nfa.go194 func (la *LevenshteinNFA) initialStates() *MultiState { func
/dports/security/keybase/client-v5.7.1/go/vendor/github.com/couchbase/vellum/levenshtein/
H A Dlevenshtein_nfa.go194 func (la *LevenshteinNFA) initialStates() *MultiState { func
/dports/www/mattermost-server/mattermost-server-6.0.2/vendor/github.com/couchbase/vellum/levenshtein/
H A Dlevenshtein_nfa.go194 func (la *LevenshteinNFA) initialStates() *MultiState { func
/dports/www/nextcloud/nextcloud/lib/private/AppFramework/Bootstrap/
H A DRegistrationContext.php90 private $initialStates = []; variable in OC\\AppFramework\\Bootstrap\\RegistrationContext
/dports/devel/qt5-scxml/kde-qtscxml-5.15.2p1/src/scxml/
H A Dqscxmlcompiler.cpp120 QVector<DocumentModel::AbstractState *> initialStates; in visit() local
158 QVector<DocumentModel::AbstractState *> initialStates; in visit() local