Searched refs:kAcyclic (Results 1 – 19 of 19) sorted by relevance
102 const uint64 kAcyclic = 0x0000000800000000ULL; variable141 kUnweighted | kAcyclic | kInitialAcyclic | kTopSorted |150 kNotOLabelSorted | kWeighted | kUnweighted | kCyclic | kAcyclic |161 kNotOLabelSorted | kWeighted | kUnweighted | kCyclic | kAcyclic |170 kNotOLabelSorted | kCyclic | kAcyclic | kInitialCyclic |180 kNotOLabelSorted | kWeighted | kUnweighted | kCyclic | kAcyclic |197 kILabelSorted | kOLabelSorted | kUnweighted | kAcyclic |204 kILabelSorted | kOLabelSorted | kUnweighted | kAcyclic |213 | kWeighted | kUnweighted | kCyclic | kAcyclic | kInitialCyclic |222 kNoOEpsilons | kWeighted | kUnweighted | kCyclic | kAcyclic |[all …]
60 outprops |= (kAcceptor | kNoIEpsilons | kAcyclic | kInitialAcyclic) & in ComposeProperties()71 (kAcceptor | kUnweighted | kAcyclic) & inprops1 & inprops2; in ConcatProperties()104 outprops |= (kAcceptor | kNoEpsilons | kAcyclic | in DeterminizeProperties()122 kAcyclic | kAccessible | kCoAccessible) & inprops; in FactorWeightProperties()135 outprops |= (kNoEpsilons | kNoIEpsilons | kNoOEpsilons | kAcyclic | in IntersectProperties()147 kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic | in InvertProperties()185 kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic | in ProjectProperties()240 kCyclic | kAcyclic | in RelabelProperties()254 kCyclic | kAcyclic) & inprops; in ReverseProperties()268 outprops |= (kAcceptor | kAcyclic | kInitialAcyclic) & inprops; in RmEpsilonProperties()[all …]
97 fst->SetProperties(kAcyclic | kInitialAcyclic | kTopSorted, in TopSort()98 kAcyclic | kInitialAcyclic | kTopSorted); in TopSort()
62 *props_ |= kAcyclic | kInitialAcyclic | kAccessible | kCoAccessible; in InitVisit()111 *props_ &= ~kAcyclic; in BackArc()
100 uint64 dfs_props = kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic | in ComputeProperties()
216 } else if (fst->Properties(kAcyclic, false) & kAcyclic) { in RmEpsilon()
511 uint64 props = fst.Properties(kAcyclic | kCyclic | in AutoQueue()516 } else if (props & kAcyclic) { in AutoQueue()
209 if (Properties() & kAcyclic) in SetStart()276 SetProperties(Properties() | kAcyclic | kInitialAcyclic); in AddArc()
483 if (fst->Properties(kAcyclic, true)) { in AcceptorMinimize()
111 const uint64 kAcyclic = 0x0000000800000000ULL; variable149 kUnweighted | kAcyclic | kInitialAcyclic | kTopSorted |158 kNotOLabelSorted | kWeighted | kUnweighted | kCyclic | kAcyclic |169 kNotOLabelSorted | kWeighted | kUnweighted | kCyclic | kAcyclic |184 kUnweighted | kCyclic | kAcyclic | kTopSorted | kNotTopSorted |194 kAcyclic | kInitialCyclic | kInitialAcyclic | kTopSorted |204 kUnweighted | kCyclic | kAcyclic | kInitialCyclic |221 kILabelSorted | kOLabelSorted | kUnweighted | kAcyclic |228 kILabelSorted | kOLabelSorted | kUnweighted | kAcyclic |237 | kWeighted | kUnweighted | kCyclic | kAcyclic | kInitialCyclic |[all …]
102 fst->SetProperties(kAcyclic | kInitialAcyclic | kTopSorted, in TopSort()103 kAcyclic | kInitialAcyclic | kTopSorted); in TopSort()
153 *props_ &= ~kAcyclic; in BackArc()215 *props_ |= kAcyclic | kInitialAcyclic | kAccessible | kCoAccessible; in InitVisit()
102 uint64 dfs_props = kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic | in ComputeProperties()
260 } else if (fst->Properties(kAcyclic, false) & kAcyclic) { in RmEpsilon()
549 uint64 props = fst.Properties(kAcyclic | kCyclic | in AutoQueue()554 } else if (props & kAcyclic) { in AutoQueue()
499 if (fst->Properties(kAcyclic, true)) { in AcceptorMinimize()
67 outprops |= (kNoEpsilons | kNoIEpsilons | kNoOEpsilons | kAcyclic | in ComposeProperties()73 outprops |= (kAcceptor | kNoIEpsilons | kAcyclic | kInitialAcyclic) & in ComposeProperties()84 (kAcceptor | kUnweighted | kAcyclic) & inprops1 & inprops2; in ConcatProperties()120 outprops |= (kError | kAcceptor | kAcyclic | in DeterminizeProperties()137 kAcyclic | kAccessible | kCoAccessible) & inprops; in FactorWeightProperties()150 kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic | in InvertProperties()188 kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic | in ProjectProperties()236 uint64 outprops = kAcyclic | kInitialAcyclic | kAccessible; in RandGenProperties()295 if (!(inprops[i] & kAcyclic)) in ReplaceProperties()307 outprops |= kAcyclic; in ReplaceProperties()[all …]
597 (tprops & kAcyclic || wprops & kIdempotent)) { in TestOptimize()636 if ((wprops & kSemiring) == kSemiring && tprops & kAcyclic) { in TestOptimize()690 if ((wprops & kIdempotent) || (tprops & kAcyclic)) { in TestOptimize()762 if (tprops & kAcyclic) { in TestOptimize()
55 return inprops & (kAcceptor | kAcyclic | kInitialAcyclic | kUnweighted); in ExpandProperties()