Types & classes — github.com/StanfordPL/stoke

CodeHub MCPcopy Create free account

hub / github.com/StanfordPL/stoke / types & classes

Types & classes1,793 in github.com/StanfordPL/stoke

⨍ Functions 5,085◇ Types & classes 1,793

↓ 243 callersClassBool

A user-defined data type.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:56

↓ 124 callersClassexpr

src/ext/z3/include/z3++.h:55

↓ 36 callersClassMessage

Makes sure that an assertion knows to use ::testing::Message instead of ::my_namespace::testing::Message.

src/ext/gtest-1.7.0/test/gtest_unittest.cc:6294

↓ 29 callersClassSymBitVector

src/symstate/bool.h:25

↓ 21 callersClasssort

src/ext/z3/include/z3++.h:53

↓ 18 callersClassSymBool

src/symstate/bool.h:49

↓ 18 callersClassprobe

src/ext/z3/include/z3++.h:59

↓ 17 callersEnumInit

src/search/init.h:20

↓ 14 callersClassfunc_decl

src/ext/z3/include/z3++.h:54

↓ 11 callersClassSymFunction

src/symstate/function.h:21

↓ 10 callersClassUnprintableChar

A class that supports binary comparison operators but not streaming.

src/ext/gtest-1.7.0/test/gtest_unittest.cc:4828

↓ 9 callersClassCursor

Represents a position (line and column) in a text file.

src/ext/gtest-1.7.0/scripts/pump.py:87

↓ 8 callersClassPredFormatFunctor1

A unary predicate-formatter functor.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:113

↓ 8 callersClassPredFormatFunctor2

A binary predicate-formatter functor.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:503

↓ 8 callersClassPredFormatFunctor3

A ternary predicate-formatter functor.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:935

↓ 8 callersClassPredFormatFunctor4

A 4-ary predicate-formatter functor.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:1409

↓ 8 callersClassPredFormatFunctor5

A 5-ary predicate-formatter functor.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:1925

↓ 8 callersClassPredFunctor1

A unary predicate functor.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:92

↓ 8 callersClassPredFunctor2

A binary predicate functor.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:479

↓ 8 callersClassPredFunctor3

A ternary predicate functor.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:908

↓ 8 callersClassPredFunctor4

A 4-ary predicate functor.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:1379

↓ 8 callersClassPredFunctor5

A 5-ary predicate functor.

src/ext/gtest-1.7.0/test/gtest_pred_impl_unittest.cc:1892

↓ 8 callersClasstactic

src/ext/z3/include/z3++.h:58

↓ 5 callersClassCfg

src/cfg/cfg.h:32

↓ 5 callersClassOutput

src/ext/gtest-1.7.0/scripts/pump.py:641

↓ 4 callersClassBase

src/ext/gtest-1.7.0/test/gtest-port_test.cc:101

↓ 4 callersClassCommand

tools/scripts/completion_generator.py:319

↓ 4 callersClassDogAdder

Verifies that Range works with user-defined types that define copy constructor, operator=(), operator+(), and operator<().

src/ext/gtest-1.7.0/test/gtest-param-test_test.cc:265

↓ 4 callersClassToken

Represents a token in a Pump source file.

src/ext/gtest-1.7.0/scripts/pump.py:137

↓ 4 callersClassaddr_iterator

src/state/addr_iterator.h:22

↓ 4 callersClassiterator

src/ext/gtest-1.7.0/test/gtest-printers_test.cc:967

↓ 4 callersClasssigaction

src/ext/pstreams-0.8.1/test_pstreams.cc:803

↓ 3 callersClassAssertIsEvenFunctor

A predicate-formatter functor that asserts the argument is an even number.

src/ext/gtest-1.7.0/test/gtest_unittest.cc:2146

↓ 3 callersClassAssertSumIsEven5Functor

A predicate-formatter functor that asserts the sum of the arguments is an even number.

src/ext/gtest-1.7.0/test/gtest_unittest.cc:2184

↓ 3 callersClassCfgGadget

tools/gadgets/cfg.h:28

↓ 3 callersClassFlags

The Flags struct stores a copy of all Google Test flags.

src/ext/gtest-1.7.0/test/gtest_unittest.cc:5279

↓ 3 callersClassIntWrapper

src/ext/gtest-1.7.0/test/gtest-param-test_test.cc:303

↓ 3 callersClassMyType

src/ext/gtest-1.7.0/test/gtest_list_tests_unittest_.cc:79

↓ 3 callersClassSumIsEven3Functor

A functor that returns true iff the sum of the arguments is an even number.

src/ext/gtest-1.7.0/test/gtest_unittest.cc:2159

↓ 3 callersClassTestCase

src/ext/gtest-1.7.0/include/gtest/gtest.h:173

↓ 3 callersClassoutput_iterator

src/sandbox/output_iterator.h:25

↓ 3 callersClasssymbol

src/ext/z3/include/z3++.h:50

↓ 2 callersClassCodeNode

src/ext/gtest-1.7.0/scripts/pump.py:390

↓ 2 callersClassEnv

src/ext/gtest-1.7.0/scripts/pump.py:584

↓ 2 callersClassGet

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:778

↓ 2 callersClassIfNode

src/ext/gtest-1.7.0/scripts/pump.py:420

↓ 2 callersClassIsEvenFunctor

A functor that returns true iff the argument is an even number.

src/ext/gtest-1.7.0/test/gtest_unittest.cc:2109

↓ 2 callersClassVarNode

src/ext/gtest-1.7.0/scripts/pump.py:395

↓ 2 callersClassexception

src/ext/z3/include/z3++.h:47

↓ 2 callersClassmodel

src/ext/z3/include/z3++.h:60

↓ 2 callersClasssigaction

src/ext/gtest-1.7.0/test/gtest-death-test_test.cc:388

↓ 2 callersClasssigaction

src/ext/gtest-1.7.0/src/gtest-death-test.cc:1041

↓ 2 callersClasssigaction

src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:7535

↓ 1 callersClassArg

tools/scripts/completion_generator.py:266

↓ 1 callersClassAssertHelper

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:17564

↓ 1 callersClassAssertHelper

src/ext/gtest-1.7.0/include/gtest/gtest.h:151

↓ 1 callersClassBashHandler

tools/scripts/completion_generator.py:73

↓ 1 callersClassBig

src/ext/gtest-1.7.0/test/gtest-printers_test.cc:1060

↓ 1 callersClassBiggestIntConvertible

A class implicitly convertible to BiggestInt.

src/ext/gtest-1.7.0/test/gtest-printers_test.cc:94

↓ 1 callersClassCACHE_TAG

! * @brief Cache tag - self clearing on creation */

src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/include/pin/pin_cache.H:88

↓ 1 callersClassClassUniqueToAlwaysTrue

src/ext/gtest-1.7.0/src/gtest.cc:4645

↓ 1 callersClassClassUniqueToAlwaysTrue

src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:6129

↓ 1 callersClassCostFunction

src/cost/cost_function.h:38

↓ 1 callersClassCpuState

src/state/cpu_state.h:32

↓ 1 callersClassEMPTY

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/components/include/atomic/fixed-multiset.hpp:163

↓ 1 callersClassExpNode

src/ext/gtest-1.7.0/scripts/pump.py:437

↓ 1 callersClassFoo

This class has a private member we want to test. We will test it both in a TEST and in a TEST_F.

src/ext/gtest-1.7.0/test/gtest_unittest.cc:4893

↓ 1 callersClassForNode

src/ext/gtest-1.7.0/scripts/pump.py:408

↓ 1 callersClassGTEST_1_TUPLE_

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:846

↓ 1 callersClassGTEST_1_TUPLE_

src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:205

↓ 1 callersClassGTEST_2_TUPLE_

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:878

↓ 1 callersClassGTEST_2_TUPLE_

src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:237

↓ 1 callersClassGTEST_3_TUPLE_

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:921

↓ 1 callersClassGTEST_3_TUPLE_

src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:280

↓ 1 callersClassGTEST_4_TUPLE_

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:958

↓ 1 callersClassGTEST_4_TUPLE_

src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:317

↓ 1 callersClassGTEST_5_TUPLE_

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:999

↓ 1 callersClassGTEST_5_TUPLE_

src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:358

↓ 1 callersClassGTEST_6_TUPLE_

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:1043

↓ 1 callersClassGTEST_6_TUPLE_

src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:402

↓ 1 callersClassGTEST_7_TUPLE_

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:1090

↓ 1 callersClassGTEST_7_TUPLE_

src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:449

↓ 1 callersClassGTEST_8_TUPLE_

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:1139

↓ 1 callersClassGTEST_8_TUPLE_

src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:498

↓ 1 callersClassGTEST_9_TUPLE_

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:1191

↓ 1 callersClassGTEST_9_TUPLE_

src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:550

↓ 1 callersClassIndexHelper

src/symstate/bitvector.h:174

↓ 1 callersClassLiteralDollarNode

src/ext/gtest-1.7.0/scripts/pump.py:432

↓ 1 callersClassNoDefaultContructor

src/ext/gtest-1.7.0/test/gtest-port_test.cc:996

↓ 1 callersClassParamIterator

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:10098

↓ 1 callersClassParamIterator

src/ext/gtest-1.7.0/include/gtest/internal/gtest-param-util.h:99

↓ 1 callersClassPrintableViaPrintTo

A user-defined printable type in a user-chosen namespace.

src/ext/gtest-1.7.0/test/gtest-printers_test.cc:134

↓ 1 callersClassRangeNode

src/ext/gtest-1.7.0/scripts/pump.py:401

↓ 1 callersClassRawCodeNode

src/ext/gtest-1.7.0/scripts/pump.py:427

↓ 1 callersClassScopedTrace

Information about a trace point.

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:7056

↓ 1 callersClassScopedTrace

Information about a trace point.

src/ext/gtest-1.7.0/include/gtest/internal/gtest-internal.h:96

↓ 1 callersClassSearchStateGadget

tools/gadgets/search_state.h:24

↓ 1 callersClassSymMemoryManager

Don't worry, I'm not doing abstract/symbolic garbage collection or anything * like that! This is just to clean up all those terrible bitvector objec

src/symstate/memory_manager.h:30

↓ 1 callersClassTest

Represents a failure message.

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:7045

↓ 1 callersClassTest

The friend relationship of some of these classes is cyclic. If we don't forward declare them the compiler might confuse the classes in friendship clau

src/ext/gtest-1.7.0/include/gtest/gtest.h:172

next →1–100 of 1,793, ranked by callers