Home
last modified time | relevance | path

Searched refs:numberCon (Results 1 – 4 of 4) sorted by relevance

/dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/trilinos/packages/teuchos/parameterlist/test/Conditions/
H A DCondition_Serialization_UnitTests.cpp188 RCP<NumberCondition< T > > numberCon = in TEUCHOS_UNIT_TEST_TEMPLATE_1_DECL() local
199 numberCon, in TEUCHOS_UNIT_TEST_TEMPLATE_1_DECL()
/dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/trilinos/packages/teuchos/parameterlist/test/Dependencies/
H A DDependencies_UnitTests.cpp586 RCP<NumberCondition<double> > numberCon = in TEUCHOS_UNIT_TEST() local
592 tuple<RCP<const Condition> >(numberCon, boolCon); in TEUCHOS_UNIT_TEST()
H A DDependencies_SerializationTests.cpp446 RCP<NumberCondition<int> > numberCon = in NUMBER_VIS_TEST() local
450 tuple<RCP<const Condition> >(boolCon, numberCon); in NUMBER_VIS_TEST()
/dports/lang/elm/compiler-0.19.1/compiler/src/Type/Constrain/
H A DExpression.hs83 numberCon <- constrain rtv expr (FromContext region Negate numberType)
85 return $ exists [numberVar] $ CAnd [ numberCon, negateCon ]