Searched refs:numberCon (Results 1 – 4 of 4) sorted by relevance
188 RCP<NumberCondition< T > > numberCon = in TEUCHOS_UNIT_TEST_TEMPLATE_1_DECL() local199 numberCon, in TEUCHOS_UNIT_TEST_TEMPLATE_1_DECL()
586 RCP<NumberCondition<double> > numberCon = in TEUCHOS_UNIT_TEST() local592 tuple<RCP<const Condition> >(numberCon, boolCon); in TEUCHOS_UNIT_TEST()
446 RCP<NumberCondition<int> > numberCon = in NUMBER_VIS_TEST() local450 tuple<RCP<const Condition> >(boolCon, numberCon); in NUMBER_VIS_TEST()
83 numberCon <- constrain rtv expr (FromContext region Negate numberType)85 return $ exists [numberVar] $ CAnd [ numberCon, negateCon ]