Functions — github.com/SymbolicPathFinder/jpf-symbc

hub / github.com/SymbolicPathFinder/jpf-symbc / functions

Functions5,046 in github.com/SymbolicPathFinder/jpf-symbc

⨍ Functions 5,046◇ Types & classes 847

↓ 2 callersMethodsetSource

(Vertex v)

src/main/gov/nasa/jpf/symbc/string/graph/EdgeConcat.java:114

↓ 2 callersMethodshred

(int decimalNumber, int[] digitsArray, int b, int numDigits)

src/examples/sequences/MethodSequenceGeneratorTao.java:102

↓ 2 callersMethodsmallSetOfEdges

()

src/main/gov/nasa/jpf/symbc/string/testing/Profile.java:76

↓ 2 callersMethodsolution

()

src/main/gov/nasa/jpf/symbc/numeric/RealExpression.java:104

↓ 2 callersMethodsolution

()

src/main/gov/nasa/jpf/symbc/concolic/FunctionExpression.java:80

↓ 2 callersMethodsolveWithSolution

()

src/main/gov/nasa/jpf/symbc/numeric/PathCondition.java:345

↓ 2 callersMethodsplitPathCondition

(PathCondition pc)

src/main/gov/nasa/jpf/symbc/concolic/PCAnalyzer.java:214

↓ 2 callersMethodstore

(Object exp1, Object exp2, Object exp3)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemZ3.java:1132

↓ 2 callersMethodsymbolicNumericDeclarations

(Set<String> symbolicVars)

src/main/edu/ucsb/cs/vlab/translate/smtlib/from/Translator.java:145

↓ 2 callersMethodtest

(int x, int y)

src/tests/gov/nasa/jpf/symbc/bitop/TestBitwiseADD.java:23

↓ 2 callersMethodtest08

(String a, String b, int i)

src/tests/gov/nasa/jpf/symbc/strings/ExSymExeStringsDemo.java:157

↓ 2 callersMethodtoBits

(int length, int c)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata.java:524

↓ 2 callersMethodtoSMTLibDec

()

src/main/gov/nasa/jpf/symbc/string/translate/BVVar.java:41

↓ 2 callersMethodtoString

()

src/main/gov/nasa/jpf/symbc/numeric/MathRealExpression.java:150

↓ 2 callersMethodtoString

()

src/main/gov/nasa/jpf/symbc/string/StringConstraint.java:157

↓ 2 callersMethodtoString

()

src/main/gov/nasa/jpf/symbc/string/graph/Vertex.java:138

↓ 2 callersMethodtoString

()

src/examples/TreeMapSimple.java:128

↓ 2 callersMethodtoString

()

src/examples/compositional/Rational.java:226

↓ 2 callersMethodtranslateEquals

(Constraint npc)

src/main/gov/nasa/jpf/symbc/string/translate/Z3str2SMTTranslator.java:374

↓ 2 callersMethodtranslateNotEquals

(Constraint npc)

src/main/gov/nasa/jpf/symbc/string/translate/Z3str2SMTTranslator.java:361

↓ 2 callersMethodunwrap

(final String result)

src/main/edu/ucsb/cs/vlab/translate/smtlib/from/Translator.java:23

↓ 2 callersMethodupdate_method

Updates the graph and dot file for the method part. edge is drawn between the last recorded state and the new state.

src/main/gov/nasa/jpf/symbc/abstraction/OSM.java:307

↓ 2 callersMethodupdate_sequence

Updates the graph and dot file for the sequence part. the new edge is always between initialState_sequence and the lastRecordedState_sequence

src/main/gov/nasa/jpf/symbc/abstraction/OSM.java:342

↓ 2 callersMethodvalue

()

src/main/gov/nasa/jpf/symbc/numeric/IntegerConstant.java:275

↓ 2 callersMethodvalue

()

src/main/gov/nasa/jpf/symbc/numeric/RealConstant.java:187

↓ 2 callersMethody0

(double x)

src/examples/concolic/Bessel.java:93

↓ 1 callersMethodBad_100000525_exit

( )

src/examples/rjc/ObserverAutomata.java:104

↓ 1 callersMethodChart_100000202_enter

(int entryMode, int tpp)

src/examples/rjc/Chart.java:49

↓ 1 callersMethodChart_100000202_exec

()

src/examples/rjc/Chart.java:60

↓ 1 callersMethodChart_i1_100000471_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i1.java:49

↓ 1 callersMethodChart_i1_100000471_exec

( )

src/examples/rjc/Chart_i1.java:62

↓ 1 callersMethodChart_i2_100000740_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i2.java:49

↓ 1 callersMethodChart_i2_100000740_exec

( )

src/examples/rjc/Chart_i2.java:62

↓ 1 callersMethodClear

()

src/main/edu/ucsb/cs/vlab/translate/smtlib/Results.java:11

↓ 1 callersMethodCoast_region_1_100000209_exec

()

src/examples/rjc/Chart.java:278

↓ 1 callersMethodCoast_region_1_100000478_exec

( )

src/examples/rjc/Chart_i1.java:335

↓ 1 callersMethodCoast_region_1_100000747_exec

( )

src/examples/rjc/Chart_i2.java:332

↓ 1 callersMethodCoast_region_2_100000206_exec

()

src/examples/rjc/Chart.java:208

↓ 1 callersMethodCoast_region_2_100000475_exec

( )

src/examples/rjc/Chart_i1.java:255

↓ 1 callersMethodCoast_region_2_100000744_exec

( )

src/examples/rjc/Chart_i2.java:252

↓ 1 callersMethodCounterState_100000257_exec

( )

src/examples/rjc/SimpleCounter.java:66

↓ 1 callersMethodCounterState_100000540_exec

( )

src/examples/rjc/SimpleCounter_i1.java:66

↓ 1 callersMethodCounterState_100000809_exec

( )

src/examples/rjc/SimpleCounter_i2.java:66

↓ 1 callersMethodDoSim

()

src/examples/rjc/RJCMain.java:39

↓ 1 callersMethodDoSimSymbolic

()

src/examples/rjc/RJCMain.java:119

↓ 1 callersMethodFire_region_1_100000205_exec

()

src/examples/rjc/Chart.java:169

↓ 1 callersMethodFire_region_1_100000474_exec

( )

src/examples/rjc/Chart_i1.java:207

↓ 1 callersMethodFire_region_1_100000743_exec

( )

src/examples/rjc/Chart_i2.java:207

↓ 1 callersMethodFire_region_2_100000210_exec

()

src/examples/rjc/Chart.java:299

↓ 1 callersMethodFire_region_2_100000479_exec

( )

src/examples/rjc/Chart_i1.java:358

↓ 1 callersMethodFire_region_2_100000748_exec

( )

src/examples/rjc/Chart_i2.java:355

↓ 1 callersMethodInit2

()

src/examples/rjc/rjc.java:28

↓ 1 callersMethodInit3

( )

src/examples/rjc/Reaction_Jet_Control1.java:199

↓ 1 callersMethodIsEasyChairQuery

(String str)

src/examples/strings/MSExample.java:26

↓ 1 callersMethodMain0

(double[] In1_2, double[] In2_3, double[] Out1_4, double[] Out2_5)

src/examples/rjc/rjc.java:24

↓ 1 callersMethodMainSymbolic

(double in1_0, double in1_1, double in1_2, double in2_0, double in2_1, double in2_2, double[] out1, double[] o

src/examples/rjc/rjc.java:33

↓ 1 callersMethodOK_100000524_exec

( )

src/examples/rjc/ObserverAutomata.java:77

↓ 1 callersMethodObserverAutomata_100000523_enter

( int entryMode, int tpp )

src/examples/rjc/ObserverAutomata.java:30

↓ 1 callersMethodObserverAutomata_100000523_exec

( )

src/examples/rjc/ObserverAutomata.java:49

↓ 1 callersMethodSimpleCounter_100000256_enter

( int entryMode, int tpp )

src/examples/rjc/SimpleCounter.java:29

↓ 1 callersMethodSimpleCounter_100000256_exec

( )

src/examples/rjc/SimpleCounter.java:42

↓ 1 callersMethodSimpleCounter_i1_100000539_enter

( int entryMode, int tpp )

src/examples/rjc/SimpleCounter_i1.java:29

↓ 1 callersMethodSimpleCounter_i1_100000539_exec

( )

src/examples/rjc/SimpleCounter_i1.java:42

↓ 1 callersMethodSimpleCounter_i2_100000808_enter

( int entryMode, int tpp )

src/examples/rjc/SimpleCounter_i2.java:29

↓ 1 callersMethodSimpleCounter_i2_100000808_exec

( )

src/examples/rjc/SimpleCounter_i2.java:42

↓ 1 callersMethodSkip_a_Sample_1_100000208_exec

()

src/examples/rjc/Chart.java:252

↓ 1 callersMethodSkip_a_Sample_1_100000477_exec

( )

src/examples/rjc/Chart_i1.java:305

↓ 1 callersMethodSkip_a_Sample_1_100000746_exec

( )

src/examples/rjc/Chart_i2.java:302

↓ 1 callersMethodSkip_a_Sample_2_100000207_exec

()

src/examples/rjc/Chart.java:228

↓ 1 callersMethodSkip_a_Sample_2_100000476_exec

( )

src/examples/rjc/Chart_i1.java:277

↓ 1 callersMethodSkip_a_Sample_2_100000745_exec

( )

src/examples/rjc/Chart_i2.java:274

↓ 1 callersMethodStart_100000204_enter

(int entryMode, int tpp)

src/examples/rjc/Chart.java:125

↓ 1 callersMethodStart_100000204_exec

()

src/examples/rjc/Chart.java:132

↓ 1 callersMethodStart_100000473_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i1.java:161

↓ 1 callersMethodStart_100000473_exec

( )

src/examples/rjc/Chart_i1.java:169

↓ 1 callersMethodStart_100000742_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i2.java:161

↓ 1 callersMethodStart_100000742_exec

( )

src/examples/rjc/Chart_i2.java:169

↓ 1 callersMethodTest02

()

src/tests/gov/nasa/jpf/symbc/strings/TestABCSymString.java:129

↓ 1 callersMethodTest02a

()

src/tests/gov/nasa/jpf/symbc/strings/TestABCSymString.java:142

↓ 1 callersMethodTest03

()

src/tests/gov/nasa/jpf/symbc/strings/TestABCSymString.java:155

↓ 1 callersMethodTest04

()

src/tests/gov/nasa/jpf/symbc/strings/TestABCSymString.java:168

↓ 1 callersMethodTest05

()

src/tests/gov/nasa/jpf/symbc/strings/TestABCSymString.java:181

↓ 1 callersMethodTest06

()

src/tests/gov/nasa/jpf/symbc/strings/TestABCSymString.java:194

↓ 1 callersMethodTest07

()

src/tests/gov/nasa/jpf/symbc/strings/TestABCSymString.java:207

↓ 1 callersMethodTest08

()

src/tests/gov/nasa/jpf/symbc/strings/TestABCSymString.java:220

↓ 1 callersMethodTest09

()

src/tests/gov/nasa/jpf/symbc/strings/TestABCSymString.java:233

↓ 1 callersMethodTest10

()

src/tests/gov/nasa/jpf/symbc/strings/TestABCSymString.java:246

↓ 1 callersMethodWait_for_stable_rate_100000203_exec

()

src/examples/rjc/Chart.java:109

↓ 1 callersMethodWait_for_stable_rate_100000472_exec

( )

src/examples/rjc/Chart_i1.java:142

↓ 1 callersMethodWait_for_stable_rate_100000741_exec

( )

src/examples/rjc/Chart_i2.java:142

↓ 1 callersMethod_and

(long i)

src/main/gov/nasa/jpf/symbc/numeric/IntegerConstant.java:169

↓ 1 callersMethod_div

(long i)

src/main/gov/nasa/jpf/symbc/numeric/LinearIntegerExpression.java:103

↓ 1 callersMethod_initializeArray

(InitExpression ie, ArrayExpression ae)

src/main/gov/nasa/jpf/symbc/numeric/PathCondition.java:149

↓ 1 callersMethod_new_Node

()

src/examples/symbolicheap/Node.java:63

↓ 1 callersMethodabort

(int altitude, boolean controlMotorFired)

src/examples/ExampleAbort.java:41

↓ 1 callersMethodabs

(int value)

src/tests/gov/nasa/jpf/symbc/daisyChainControllerJustLoop.java:93

↓ 1 callersMethodabs_summary_case1

(int x)

src/examples/compositional/Rational.java:48

↓ 1 callersMethodabs_summary_case2

(int x)

src/examples/compositional/Rational.java:53

↓ 1 callersMethodaccept

(ConstraintExpressionVisitor visitor)

src/main/gov/nasa/jpf/symbc/numeric/Constraint.java:172

↓ 1 callersMethodacos

(Object exp)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemCoral.java:604

← previous next →801–900 of 5,046, ranked by callers