Home
last modified time | relevance | path

Searched refs:QC (Results 1 – 25 of 3502) sorted by relevance

12345678910>>...141

/dports/science/mpqc/mpqc-2.3.1/src/lib/chemistry/cca/
H A DMPQC_IntegralEvaluatorFactory_Impl.hh194 ::Chemistry::QC::GaussianBasis::Molecular
238 ::Chemistry::QC::GaussianBasis::IntegralEvaluator2
242 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1,
243 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs2
258 ::Chemistry::QC::GaussianBasis::IntegralEvaluator2
278 ::Chemistry::QC::GaussianBasis::IntegralEvaluator2
298 ::Chemistry::QC::GaussianBasis::IntegralEvaluator3
304 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs3
320 ::Chemistry::QC::GaussianBasis::IntegralEvaluator4
327 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs4
[all …]
H A DMPQC_IntegralEvaluatorFactory_Impl.cc17 using namespace Chemistry::QC;
153 ::Chemistry::QC::GaussianBasis::Molecular
213 ::Chemistry::QC::GaussianBasis::IntegralEvaluator2
217 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1, in get_integral_evaluator2()
240 ::Chemistry::QC::GaussianBasis::IntegralEvaluator2
243 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1, in get_nuclear_evaluator()
244 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs2, in get_nuclear_evaluator()
262 ::Chemistry::QC::GaussianBasis::IntegralEvaluator2
284 ::Chemistry::QC::GaussianBasis::IntegralEvaluator3
313 ::Chemistry::QC::GaussianBasis::IntegralEvaluator4
[all …]
/dports/science/nwchem-data/nwchem-7.0.2-release/src/cca/Chemistry/server/cxx/
H A DNWChem_Chemistry_QC_IntEvalFactory_Impl.hh128 ::Chemistry::QC::GaussianBasis::CompositeIntegralDescr
162 ::Chemistry::QC::GaussianBasis::IntegralEvaluator1
165 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1
177 ::Chemistry::QC::GaussianBasis::IntegralEvaluator2
180 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1,
181 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs2
193 ::Chemistry::QC::GaussianBasis::IntegralEvaluator3
196 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1,
198 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs3
210 ::Chemistry::QC::GaussianBasis::IntegralEvaluator4
[all …]
H A DNWChem_Chemistry_QC_IntEvalFactory_Impl.cc60 ::Chemistry::QC::GaussianBasis::CompositeIntegralDescr
105 ::Chemistry::QC::GaussianBasis::IntegralEvaluator1
122 ::Chemistry::QC::GaussianBasis::IntegralEvaluator2
125 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1, in get_evaluator2()
140 ::Chemistry::QC::GaussianBasis::IntegralEvaluator3
143 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1, in get_evaluator3()
144 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs2, in get_evaluator3()
159 ::Chemistry::QC::GaussianBasis::IntegralEvaluator4
162 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1, in get_evaluator4()
163 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs2, in get_evaluator4()
[all …]
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/cca/Chemistry/server/cxx/
H A DNWChem_Chemistry_QC_IntEvalFactory_Impl.cc60 ::Chemistry::QC::GaussianBasis::CompositeIntegralDescr
105 ::Chemistry::QC::GaussianBasis::IntegralEvaluator1
122 ::Chemistry::QC::GaussianBasis::IntegralEvaluator2
125 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1, in get_evaluator2()
140 ::Chemistry::QC::GaussianBasis::IntegralEvaluator3
143 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1, in get_evaluator3()
144 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs2, in get_evaluator3()
159 ::Chemistry::QC::GaussianBasis::IntegralEvaluator4
162 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1, in get_evaluator4()
163 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs2, in get_evaluator4()
[all …]
H A DNWChem_Chemistry_QC_IntEvalFactory_Impl.hh128 ::Chemistry::QC::GaussianBasis::CompositeIntegralDescr
162 ::Chemistry::QC::GaussianBasis::IntegralEvaluator1
165 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1
177 ::Chemistry::QC::GaussianBasis::IntegralEvaluator2
180 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1,
181 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs2
193 ::Chemistry::QC::GaussianBasis::IntegralEvaluator3
196 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs1,
198 /* in */ ::Chemistry::QC::GaussianBasis::Molecular bs3
210 ::Chemistry::QC::GaussianBasis::IntegralEvaluator4
[all …]
/dports/textproc/sablotron/Sablot-1.0.3/src/engine/
H A Dsxpath.cpp42 #define QC(Q) (*(QueryContextClass*)Q) macro
90 if (! QC(Q).addVariableExpr(name, e)) in SXP_addVariableNumber()
92 return QC(Q).getError(); in SXP_addVariableNumber()
102 return QC(Q).getError(); in SXP_addVariableString()
112 return QC(Q).getError(); in SXP_addVariableBoolean()
118 QC(Q).addVariableBinding(name, QC(source)); in SXP_addVariableBinding()
119 return QC(Q).getError(); in SXP_addVariableBinding()
126 return QC(Q).getError(); in SXP_addNamespaceDeclaration()
133 return QC(Q).getError(); in SXP_query()
150 *type = QC(Q).getType(); in SXP_getResultType()
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/tasty-quickcheck-0.10.1.1/Test/Tasty/
H A DQuickCheck.hs17 , QC(..)
60 newtype QC = QC QC.Property type
65 testProperty name prop = singleTest name $ QC $ QC.property prop
128 defaultMaxSize = QC.maxSize QC.stdArgs
138 defaultValue = fromIntegral $ QC.maxDiscardRatio QC.stdArgs
152 defaultValue = QuickCheckMaxShrinks (QC.maxShrinks QC.stdArgs)
170 let args = QC.stdArgs
188 instance IsTest QC where
205 maxSize = QC.maxSize args
226 successful :: QC.Result -> Bool
[all …]
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/tasty-quickcheck-0.10.1.2/Test/Tasty/
H A DQuickCheck.hs17 , QC(..)
60 newtype QC = QC QC.Property function
65 testProperty name prop = singleTest name $ QC $ QC.property prop
128 defaultMaxSize = QC.maxSize QC.stdArgs
138 defaultValue = fromIntegral $ QC.maxDiscardRatio QC.stdArgs
152 defaultValue = QuickCheckMaxShrinks (QC.maxShrinks QC.stdArgs)
170 let args = QC.stdArgs
188 instance IsTest QC where
205 maxSize = QC.maxSize args
226 successful :: QC.Result -> Bool
[all …]
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/text-short-0.1.3/src-test/
H A DTests.hs18 import Test.Tasty.QuickCheck as QC
53 , QC.testProperty "(!?)" $ \t ->
59 , QC.testProperty "indexEndMaybe" $ \t ->
65 , QC.testProperty "toText.fromText" $ \t -> (IUT.toText . IUT.fromText) t == t
71 , QC.testProperty "splitAt" $ \t ->
75 , QC.testProperty "intercalate/split" $ \t c ->
103 , QC.testProperty "splitAtEnd" $ \t ->
120 , QC.testProperty "stripPrefix 2" $ \(STI t i) ->
124 , QC.testProperty "stripSuffix 2" $ \(STI t i) ->
147 , QC.testProperty "splitAt/isPrefixOf" $ \t ->
[all …]
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/text-short-0.1.3/src-test/
H A DTests.hs18 import Test.Tasty.QuickCheck as QC
53 , QC.testProperty "(!?)" $ \t ->
59 , QC.testProperty "indexEndMaybe" $ \t ->
65 , QC.testProperty "toText.fromText" $ \t -> (IUT.toText . IUT.fromText) t == t
71 , QC.testProperty "splitAt" $ \t ->
75 , QC.testProperty "intercalate/split" $ \t c ->
103 , QC.testProperty "splitAtEnd" $ \t ->
120 , QC.testProperty "stripPrefix 2" $ \(STI t i) ->
124 , QC.testProperty "stripSuffix 2" $ \(STI t i) ->
147 , QC.testProperty "splitAt/isPrefixOf" $ \t ->
[all …]
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/text-short-0.1.3/src-test/
H A DTests.hs18 import Test.Tasty.QuickCheck as QC
53 , QC.testProperty "(!?)" $ \t ->
59 , QC.testProperty "indexEndMaybe" $ \t ->
65 , QC.testProperty "toText.fromText" $ \t -> (IUT.toText . IUT.fromText) t == t
71 , QC.testProperty "splitAt" $ \t ->
75 , QC.testProperty "intercalate/split" $ \t c ->
103 , QC.testProperty "splitAtEnd" $ \t ->
120 , QC.testProperty "stripPrefix 2" $ \(STI t i) ->
124 , QC.testProperty "stripSuffix 2" $ \(STI t i) ->
147 , QC.testProperty "splitAt/isPrefixOf" $ \t ->
[all …]
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/text-short-0.1.3/src-test/
H A DTests.hs18 import Test.Tasty.QuickCheck as QC
53 , QC.testProperty "(!?)" $ \t ->
59 , QC.testProperty "indexEndMaybe" $ \t ->
65 , QC.testProperty "toText.fromText" $ \t -> (IUT.toText . IUT.fromText) t == t
71 , QC.testProperty "splitAt" $ \t ->
75 , QC.testProperty "intercalate/split" $ \t c ->
103 , QC.testProperty "splitAtEnd" $ \t ->
120 , QC.testProperty "stripPrefix 2" $ \(STI t i) ->
124 , QC.testProperty "stripSuffix 2" $ \(STI t i) ->
147 , QC.testProperty "splitAt/isPrefixOf" $ \t ->
[all …]
/dports/databases/couchdb3/apache-couchdb-3.2.1/src/rebar/src/
H A Drebar_qc.erl96 run_qc(Config, RawQCOpts, QC) ->
101 run(Config, QC, QCOpts).
107 QC ->
108 case code:ensure_loaded(QC) of
109 {module, QC} ->
110 QC;
150 run(Config, QC, QCOpts) ->
200 qc_module(QC=triq, _QCOpts, M) ->
201 case QC:module(M) of
207 qc_module(QC=eqc, [], M) -> QC:module(M);
[all …]
/dports/devel/rebar/rebar-2.6.4/src/
H A Drebar_qc.erl96 run_qc(Config, RawQCOpts, QC) ->
101 run(Config, QC, QCOpts).
107 QC ->
108 case code:ensure_loaded(QC) of
109 {module, QC} ->
110 QC;
150 run(Config, QC, QCOpts) ->
200 qc_module(QC=triq, _QCOpts, M) ->
201 case QC:module(M) of
207 qc_module(QC=eqc, [], M) -> QC:module(M);
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/Utils/
H A DSBVTestFramework.hs48 import qualified Test.Tasty.QuickCheck as QC
49 import qualified Test.QuickCheck.Monadic as QC
176 sm = QC.testProperty (nm ++ ".symbolic") $ QC.monadicIO $ do
177 … ((i, expected), result) <- QC.run $ runSMT $ do v <- liftIO $ QC.generate QC.arbitrary
205 QC.monitor (QC.counterexample model)
209 _ -> QC.assert False
231 sm = QC.testProperty (nm ++ ".symbolic") $ QC.monadicIO $ do
232 … ((i1, i2, expected), result) <- QC.run $ runSMT $ do v1 <- liftIO $ QC.generate QC.arbitrary
233 … v2 <- liftIO $ QC.generate QC.arbitrary
264 QC.monitor (QC.counterexample model)
[all …]
/dports/math/slatec/src/
H A Ddqdoti.f2 DOUBLE PRECISION FUNCTION DQDOTI (N, DB, QC, DX, INCX, DY, INCY)
65 INTEGER QC(30), QX(30), QY(30)
71 QC(1) = 0
74 CALL MPADD(QC, QX, QC)
84 CALL MPADD(QC, QX, QC)
88 80 CALL MPCMD(QC, DQDOTI)
H A Ddqdota.f2 DOUBLE PRECISION FUNCTION DQDOTA (N, DB, QC, DX, INCX, DY, INCY)
65 INTEGER QC(30), QX(30), QY(30)
73 CALL MPADD(QC, QX, QC)
83 CALL MPADD(QC, QX, QC)
87 40 CALL MPCMD(QC, DQDOTA)
/dports/science/nwchem-data/nwchem-7.0.2-release/src/cca/sidl/
H A Dchemistry-nwchem.sidl4 implements-all Chemistry.QC.Model
18 implements-all Chemistry.QC.ModelFactory,
24 implements-all Chemistry.QC.GaussianBasis.Shell {};
27 implements-all Chemistry.QC.GaussianBasis.Molecular {};
30 implements-all Chemistry.QC.GaussianBasis.IntegralEvaluatorFactory,
34 implements-all Chemistry.QC.GaussianBasis.IntegralEvaluator1 {};
37 implements-all Chemistry.QC.GaussianBasis.IntegralEvaluator2 {};
40 implements-all Chemistry.QC.GaussianBasis.IntegralEvaluator3 {};
43 implements-all Chemistry.QC.GaussianBasis.IntegralEvaluator4 {};
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/cca/sidl/
H A Dchemistry-nwchem.sidl4 implements-all Chemistry.QC.Model
18 implements-all Chemistry.QC.ModelFactory,
24 implements-all Chemistry.QC.GaussianBasis.Shell {};
27 implements-all Chemistry.QC.GaussianBasis.Molecular {};
30 implements-all Chemistry.QC.GaussianBasis.IntegralEvaluatorFactory,
34 implements-all Chemistry.QC.GaussianBasis.IntegralEvaluator1 {};
37 implements-all Chemistry.QC.GaussianBasis.IntegralEvaluator2 {};
40 implements-all Chemistry.QC.GaussianBasis.IntegralEvaluator3 {};
43 implements-all Chemistry.QC.GaussianBasis.IntegralEvaluator4 {};
/dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/hspec-core-2.7.10/src/Test/Hspec/Core/
H A DConfig.hs28 import qualified Test.QuickCheck as QC
65 configQuickCheckArgs :: Config -> QC.Args
74 setMaxSuccess :: Int -> QC.Args -> QC.Args
75 setMaxSuccess n args = args {QC.maxSuccess = n}
77 setMaxSize :: Int -> QC.Args -> QC.Args
78 setMaxSize n args = args {QC.maxSize = n}
80 setMaxDiscardRatio :: Int -> QC.Args -> QC.Args
81 setMaxDiscardRatio n args = args {QC.maxDiscardRatio = n}
83 setSeed :: Integer -> QC.Args -> QC.Args
84 setSeed n args = args {QC.replay = Just (mkGen (fromIntegral n), 0)}
/dports/security/klee/klee-2.2/tools/kleaver/
H A Dmain.cpp228 if (QC->Values.empty() && QC->Objects.empty()) { in EvaluateInputAST()
230 if (S->mustBeTrue(Query(ConstraintSet(QC->Constraints), QC->Query), in EvaluateInputAST()
238 } else if (!QC->Values.empty()) { in EvaluateInputAST()
239 assert(QC->Objects.empty() && in EvaluateInputAST()
241 assert(QC->Values.size() == 1 && in EvaluateInputAST()
243 assert(QC->Query->isFalse() && in EvaluateInputAST()
246 if (S->getValue(Query(ConstraintSet(QC->Constraints), QC->Values[0]), in EvaluateInputAST()
259 Query(ConstraintSet(QC->Constraints), QC->Query), QC->Objects, in EvaluateInputAST()
265 << QC->Objects[i]->name in EvaluateInputAST()
370 if(!QC->Objects.empty()) in printInputAsSMTLIBv2()
[all …]
/dports/devel/qtcreator/qt-creator-opensource-src-5.0.3/doc/qtcreator/src/overview/creator-only/
H A Dcreator-configuring.qdoc42 However, if you install the stand-alone \QC package, build \QC from sources,
47 To make \QC behave more like your favorite code editor or IDE, you can
50 you can enable and disable \QC features by managing plugins.
54 using \QC a better experience for you.
58 \QC is an integrated development environment (IDE) that you can use to
63 can register it into \QC.
68 \QC where everything is.
104 You can use \QC with your favorite keyboard shortcuts.
106 To view and edit all keyboard shortcuts defined in \QC, select
211 current user in all compatible \QC instances or
[all …]
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/scientific-0.3.6.2/test/
H A Dtest.hs441 instance QC.Arbitrary Scientific where
442 arbitrary = QC.frequency
443 [ (70, scientific <$> QC.arbitrary
445 , (20, scientific <$> QC.arbitrary
456 scientific <$> (QC.getNonNegative <$> QC.arbitrary)
459 normalizedScientificGen :: QC.Gen Scientific
462 bigIntGen :: QC.Gen Int
463 bigIntGen = QC.sized $ \size -> QC.resize (size * 1000) intGen
465 intGen :: QC.Gen Int
467 intGen = QC.arbitrary
[all …]
/dports/devel/stack/stack-2.7.3/_cabal_deps/scientific-0.3.6.2/test/
H A Dtest.hs441 instance QC.Arbitrary Scientific where
442 arbitrary = QC.frequency
443 [ (70, scientific <$> QC.arbitrary
445 , (20, scientific <$> QC.arbitrary
456 scientific <$> (QC.getNonNegative <$> QC.arbitrary)
459 normalizedScientificGen :: QC.Gen Scientific
462 bigIntGen :: QC.Gen Int
463 bigIntGen = QC.sized $ \size -> QC.resize (size * 1000) intGen
465 intGen :: QC.Gen Int
467 intGen = QC.arbitrary
[all …]

12345678910>>...141