/dports/science/mpqc/mpqc-2.3.1/src/lib/chemistry/cca/ |
H A D | MPQC_IntegralEvaluatorFactory_Impl.hh | 194 ::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 D | MPQC_IntegralEvaluatorFactory_Impl.cc | 17 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 D | NWChem_Chemistry_QC_IntEvalFactory_Impl.hh | 128 ::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 D | NWChem_Chemistry_QC_IntEvalFactory_Impl.cc | 60 ::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 D | NWChem_Chemistry_QC_IntEvalFactory_Impl.cc | 60 ::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 D | NWChem_Chemistry_QC_IntEvalFactory_Impl.hh | 128 ::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 D | sxpath.cpp | 42 #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 D | QuickCheck.hs | 17 , 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 D | QuickCheck.hs | 17 , 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 D | Tests.hs | 18 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 D | Tests.hs | 18 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 D | Tests.hs | 18 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 D | Tests.hs | 18 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 D | rebar_qc.erl | 96 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 D | rebar_qc.erl | 96 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 D | SBVTestFramework.hs | 48 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 D | dqdoti.f | 2 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 D | dqdota.f | 2 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 D | chemistry-nwchem.sidl | 4 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 D | chemistry-nwchem.sidl | 4 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 D | Config.hs | 28 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 D | main.cpp | 228 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 D | creator-configuring.qdoc | 42 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 D | test.hs | 441 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 D | test.hs | 441 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 …]
|