| /dports/chinese/librime/librime-1.7.3/src/rime/gear/ |
| H A D | simplifier.cc | 98 Simplifier::Simplifier(const Ticket& ticket) : Filter(ticket), in Simplifier() function in rime::Simplifier
134 void Simplifier::Initialize() { in Initialize()
165 Simplifier* simplifier) in SimplifiedTranslation()
172 Simplifier* simplifier_;
185 an<Translation> Simplifier::Apply(an<Translation> translation, in Apply()
199 void Simplifier::PushBack(const an<Candidate>& original, in PushBack()
231 bool Simplifier::Convert(const an<Candidate>& original, in Convert()
|
| H A D | simplifier.h | 18 class Simplifier : public Filter, TagMatching {
20 explicit Simplifier(const Ticket& ticket);
|
| /dports/math/stp/stp-2.3.3/include/stp/Simplifier/constantBitP/ |
| H A D | ConstantBitPropagation.h | 38 class Simplifier; variable
59 using stp::Simplifier;
64 Simplifier* simplifier;
91 DLL_PUBLIC ConstantBitPropagation(stp::STPMgr* mgr, stp::Simplifier* _sm,
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/Glob-0.10.1/tests/ |
| H A D | Main.hs | 14 import qualified Tests.Simplifier as Simplifier
33 , Simplifier.tests
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/Glob-0.10.1/tests/ |
| H A D | Main.hs | 14 import qualified Tests.Simplifier as Simplifier
33 , Simplifier.tests
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/Glob-0.10.1/tests/ |
| H A D | Main.hs | 14 import qualified Tests.Simplifier as Simplifier
33 , Simplifier.tests
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/Glob-0.10.1/tests/ |
| H A D | Main.hs | 14 import qualified Tests.Simplifier as Simplifier
33 , Simplifier.tests
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/Glob-0.10.1/tests/ |
| H A D | Main.hs | 14 import qualified Tests.Simplifier as Simplifier
33 , Simplifier.tests
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/Glob-0.10.0/tests/ |
| H A D | Main.hs | 14 import qualified Tests.Simplifier as Simplifier
33 , Simplifier.tests
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/Glob-0.10.1/tests/ |
| H A D | Main.hs | 14 import qualified Tests.Simplifier as Simplifier
33 , Simplifier.tests
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/Glob-0.10.1/tests/ |
| H A D | Main.hs | 14 import qualified Tests.Simplifier as Simplifier
33 , Simplifier.tests
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/Glob-0.10.1/tests/ |
| H A D | Main.hs | 14 import qualified Tests.Simplifier as Simplifier
33 , Simplifier.tests
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/Glob-0.10.1/tests/ |
| H A D | Main.hs | 14 import qualified Tests.Simplifier as Simplifier
33 , Simplifier.tests
|
| /dports/math/stp/stp-2.3.3/include/stp/Simplifier/ |
| H A D | PropagateEqualities.h | 42 class Simplifier; variable
48 Simplifier* simp;
62 PropagateEqualities(Simplifier* simp_, NodeFactory* nf_, STPMgr* bm_) in PropagateEqualities()
|
| H A D | RemoveUnconstrained.h | 48 ASTNode topLevel_other(const ASTNode& n, Simplifier* simplifier);
59 ASTNode topLevel(const ASTNode& n, Simplifier* s);
|
| H A D | SubstitutionMap.h | 36 class Simplifier; variable
45 Simplifier* simp;
88 SubstitutionMap(Simplifier* _simp, STPMgr* _bm) in SubstitutionMap()
|
| /dports/www/grafana8/grafana-8.3.6/vendor/github.com/ohler55/ojg/sen/ |
| H A D | simplifier.go | 18 return buf, v.(alt.Simplifier).Simplify(), aChanged
27 if s, ok := v.(alt.Simplifier); ok {
37 return buf, v.(alt.Simplifier).Simplify(), aChanged
|
| /dports/www/grafana8/grafana-8.3.6/vendor/github.com/ohler55/ojg/oj/ |
| H A D | simplifier.go | 18 return buf, v.(alt.Simplifier).Simplify(), aChanged
27 if s, ok := v.(alt.Simplifier); ok {
37 return buf, v.(alt.Simplifier).Simplify(), aChanged
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Entity/System/Data/Common/Utils/Boolean/ |
| H A D | Simplifier.cs | 25 internal class Simplifier<T_Identifier> : BasicVisitor<T_Identifier> class
27 internal static readonly Simplifier<T_Identifier> Instance = new Simplifier<T_Identifier>();
29 protected Simplifier() in Simplifier() method in System.Data.Common.Utils.Boolean.Simplifier
|
| /dports/math/stp/stp-2.3.3/lib/Simplifier/ |
| H A D | Simplifier.cpp | 157 ASTNode Simplifier::applySubstitutionMap(const ASTNode& n) in applySubstitutionMap()
167 bool Simplifier::InsideSubstitutionMap(const ASTNode& key) in InsideSubstitutionMap()
789 ASTNode Simplifier::PullUpITE(const ASTNode& in) in PullUpITE()
1640 bool Simplifier::hasBeenSimplified(const ASTNode& n) in hasBeenSimplified()
1665 ASTNode Simplifier::pullUpBVSX(ASTNode output) in pullUpBVSX()
3180 ASTNode Simplifier::CombineLikeTerms(const ASTNode& a) in CombineLikeTerms()
3196 ASTNode Simplifier::CombineLikeTerms(const ASTVec& c) in CombineLikeTerms()
3342 ASTNode Simplifier::LhsMinusRhs(const ASTNode& eq) in LhsMinusRhs()
3694 bool Simplifier::BVConstIsOdd(const ASTNode& c) in BVConstIsOdd()
3721 void Simplifier::ResetSimplifyMaps() in ResetSimplifyMaps()
[all …]
|
| /dports/math/stp/stp-2.3.3/include/stp/STPManager/ |
| H A D | STP.h | 73 Simplifier* simp;
78 STP(STPMgr* b, Simplifier* s, ArrayTransformer* a, ToSATBase* ts, in STP()
88 STP(STPMgr* b, Simplifier* s, BVSolver* bsolv, ArrayTransformer* a, in STP()
|
| /dports/math/stp/stp-2.3.3/include/stp/AbsRefineCounterExample/ |
| H A D | ArrayTransformer.h | 33 class Simplifier; variable
85 Simplifier* simp;
118 ArrayTransformer(STPMgr* bm, Simplifier* s) in ArrayTransformer()
|
| /dports/graphics/osg/OpenSceneGraph-OpenSceneGraph-3.6.5/include/osgUtil/ |
| H A D | Simplifier | 27 class OSGUTIL_EXPORT Simplifier : public osg::NodeVisitor
31 Simplifier(double sampleRatio=1.0, double maximumError=FLT_MAX, double maximumLength=0.0);
33 META_NodeVisitor(osgUtil, Simplifier)
58 …virtual bool continueSimplification(const Simplifier& simplifier, float nextError, unsigned int nu…
63 virtual bool requiresDownSampling(const Simplifier& simplifier) const
|
| /dports/math/stp/stp-2.3.3/tools/rewrite_rule_gen/ |
| H A D | misc.h | 35 class Simplifier; variable
37 extern stp::Simplifier* simp;
|
| /dports/graphics/osg34/OpenSceneGraph-OpenSceneGraph-3.4.1/include/osgUtil/ |
| H A D | Simplifier | 27 class OSGUTIL_EXPORT Simplifier : public osg::NodeVisitor
31 Simplifier(double sampleRatio=1.0, double maximumError=FLT_MAX, double maximumLength=0.0);
33 META_NodeVisitor(osgUtil, Simplifier)
58 …virtual bool continueSimplification(const Simplifier& simplifier, float nextError, unsigned int nu…
|