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

↓ 1,896 callersMethodprintln

(String msg)

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

↓ 1,537 callersMethodgetSource

()

src/main/gov/nasa/jpf/symbc/string/graph/Edge.java:29

↓ 1,526 callersMethodgetDest

()

src/main/gov/nasa/jpf/symbc/string/graph/Edge.java:35

↓ 1,132 callersMethodget

Returns the value to which this map maps the specified key. Returns <tt>null</tt> if the map contains no mapping for this key. A return value of <tt>n

src/examples/rbt/TreeMap.java:150

↓ 1,104 callersMethod_addDet

(StringComparator c, StringExpression l, String r)

src/main/gov/nasa/jpf/symbc/string/StringPathCondition.java:81

↓ 1,098 callersMethodgetLength

()

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

↓ 1,039 callersMethod_addDet

(Comparator c, SelectExpression se, IntegerExpression ie)

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

↓ 1,039 callersMethodsolution

()

src/main/gov/nasa/jpf/symbc/string/StringSymbolic.java:122

↓ 797 callersMethodisConstant

()

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

↓ 665 callersMethodsimplify

()

src/main/gov/nasa/jpf/symbc/string/StringPathCondition.java:143

↓ 548 callersMethodgetSolution

()

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

↓ 480 callersMethodprintStackTrace

(PrintStream out)

src/main/gov/nasa/jpf/symbc/bytecode/optimization/util/PCChoiceGeneratorException.java:44

↓ 475 callersMethodgetIndex

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeChar.java:24

↓ 421 callersMethodaddToList

(LinearIntegerConstraint lic)

src/main/gov/nasa/jpf/symbc/numeric/LogicalORLinearIntegerConstraints.java:40

↓ 411 callersMethodput

Associates the specified value with the specified key in this map. If the map previously contained a mapping for this key, the old value is replaced.

src/examples/rbt/TreeMap.java:238

↓ 397 callersMethodadd

(int x)

src/examples/sequences/BST.java:54

↓ 387 callersMethodequals

(Object obj)

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

↓ 379 callersMethod_indexOf

(StringExpression exp, IntegerExpression ie)

src/main/gov/nasa/jpf/symbc/string/StringExpression.java:118

↓ 379 callersMethodlength

(Constraint c)

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

↓ 338 callersMethodgetSources

()

src/main/gov/nasa/jpf/symbc/string/graph/Edge.java:33

↓ 283 callersMethodgetEdges

()

src/main/gov/nasa/jpf/symbc/string/graph/StringGraph.java:424

↓ 279 callersMethodcontains

(List<Symbol> c1, List<Symbol> c2)

src/main/gov/nasa/jpf/symbc/string/translate/CNFExtra.java:72

↓ 278 callersMethodequals

(Object obj)

src/tests/gov/nasa/jpf/symbc/ExDarko.java:57

↓ 257 callersMethodgetNext

()

src/main/gov/nasa/jpf/symbc/heap/HeapNode.java:64

↓ 256 callersMethodisEmpty

( )

src/examples/sequences/Stack.java:47

↓ 250 callersMethodsetSolution

(String s)

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

↓ 230 callersMethodgetSymbolicLength

()

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

↓ 229 callersMethodpop

()

src/main/gov/nasa/jpf/symbc/numeric/solvers/IncrementalSolver.java:22

↓ 220 callersMethodintersection

(Automaton a, Automaton b)

src/main/gov/nasa/jpf/symbc/string/AutomatonExtra.java:475

↓ 218 callersMethodstartsWith

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3.java:325

↓ 208 callersMethodsimplify

()

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

↓ 203 callersMethodsetCurrentPC

(PathCondition pc)

src/main/gov/nasa/jpf/symbc/numeric/PCChoiceGenerator.java:109

↓ 202 callersMethodgetDest

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeIndexOfChar2.java:45

↓ 199 callersMethodsubstring

(Automaton a, int start, int end)

src/main/gov/nasa/jpf/symbc/string/AutomatonExtra.java:136

↓ 196 callersMethodgetSource

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeIndexOfChar2.java:55

↓ 194 callersMethodcallerName

()

src/tests/gov/nasa/jpf/symbc/strings/TestABC.java:43

↓ 194 callersMethodsolutionInt

()

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

↓ 180 callersMethodgetExpression

()

src/main/gov/nasa/jpf/symbc/string/SymbolicLengthInteger.java:13

↓ 178 callersMethodsize

Returns the number of key-value mappings in this map. @return the number of key-value mappings in this map.

src/examples/rbt/TreeMap.java:68

↓ 176 callersMethodmakeAnyStringFixed

()

src/main/gov/nasa/jpf/symbc/string/AutomatonExtra.java:47

↓ 153 callersMethodgetCurrentPC

()

src/main/gov/nasa/jpf/symbc/numeric/PCChoiceGenerator.java:120

↓ 149 callersMethodpush

()

src/main/gov/nasa/jpf/symbc/numeric/solvers/IncrementalSolver.java:21

↓ 137 callersMethodisSatisfiable

(PathCondition pc)

src/main/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java:58

↓ 135 callersMethodgetName

()

src/main/gov/nasa/jpf/symbc/string/graph/Edge.java:27

↓ 125 callersMethodminus

(Automaton a1, Automaton a2)

src/main/gov/nasa/jpf/symbc/string/AutomatonExtra.java:624

↓ 120 callersMethodgetIndex

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeIndexOfChar2.java:87

↓ 119 callersMethodgetExpression

(IntegerExpression eRef)

src/main/gov/nasa/jpf/symbc/numeric/PCParser.java:80

↓ 114 callersMethodpropagateChange

(Vertex vertexThatHasChanged, Vertex vertexComingFrom)

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

↓ 113 callersMethodgetConstraint

(int i)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemCompare.java:127

↓ 111 callersMethod_charAt

(IntegerExpression ie)

src/main/gov/nasa/jpf/symbc/string/StringExpression.java:89

↓ 101 callersMethodgetIndex

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeLastIndexOfChar2.java:88

↓ 100 callersMethodmap

(StringComparator x, String y)

src/main/edu/ucsb/cs/vlab/translate/smtlib/generic/StringConstraintTranslator.java:33

↓ 97 callersMethodgetMinDist

()

src/main/gov/nasa/jpf/symbc/string/SymbolicIndexOfChar2Integer.java:43

↓ 96 callersMethodprintPC

(String msg)

src/classes/gov/nasa/jpf/symbc/Debug.java:44

↓ 95 callersMethodpeekArrayAttr

(ThreadInfo ti)

src/main/gov/nasa/jpf/symbc/bytecode/symarrays/ARRAYLENGTH.java:34

↓ 95 callersMethodpost

(Object constraint)

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

↓ 95 callersMethodtoString

()

src/main/gov/nasa/jpf/symbc/heap/HeapNode.java:90

↓ 93 callersMethodtoString

()

src/main/gov/nasa/jpf/symbc/numeric/Operator.java:63

↓ 91 callersMethodendsWith

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3.java:429

↓ 91 callersMethodgetConstraint

(int i)

src/main/gov/nasa/jpf/symbc/numeric/solvers/DebugSolvers.java:49

↓ 88 callersMethodgetName

()

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

↓ 87 callersMethodsetConstraint

(int i, Object o)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemCompare.java:131

↓ 82 callersMethod_subString

(IntegerExpression t, int r)

src/main/gov/nasa/jpf/symbc/string/StringExpression.java:303

↓ 82 callersMethodstringExpressionToSMTLIB

(StringExpression se)

src/main/gov/nasa/jpf/symbc/string/translate/SMTLIBTranslator.java:184

↓ 82 callersMethodstringExpressionToSMTLIB

(StringExpression se)

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

↓ 80 callersMethod_length

()

src/main/gov/nasa/jpf/symbc/string/StringExpression.java:108

↓ 78 callersMethodfindVertex

(String name)

src/main/gov/nasa/jpf/symbc/string/graph/StringGraph.java:560

↓ 76 callersMethodgetSources

()

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

↓ 74 callersMethodgetValue

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeChar.java:26

↓ 71 callersMethodgetLeft

()

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

↓ 71 callersMethodgetRight

()

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

↓ 71 callersMethodselectRandomVertex

(StringGraph g)

src/main/gov/nasa/jpf/symbc/string/testing/RandomTest.java:982

↓ 71 callersMethodsetConstraint

(int i, Object o)

src/main/gov/nasa/jpf/symbc/numeric/solvers/DebugSolvers.java:53

↓ 70 callersMethodsetMethodName

(String name)

src/main/gov/nasa/jpf/symbc/numeric/PCChoiceGenerator.java:62

↓ 70 callersMethodsetOffset

(int off)

src/main/gov/nasa/jpf/symbc/numeric/PCChoiceGenerator.java:56

↓ 69 callersMethodaddEdge

(Vertex v1, Vertex v2, Edge e)

src/main/gov/nasa/jpf/symbc/string/graph/StringGraph.java:77

↓ 67 callersMethodtoString

()

src/main/gov/nasa/jpf/symbc/string/translate/BVOr.java:29

↓ 65 callersMethodgetDest

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeNotContains.java:41

↓ 65 callersMethodmergeIn

(StringGraph g)

src/main/gov/nasa/jpf/symbc/string/graph/StringGraph.java:119

↓ 64 callersMethodpost

(BVExpr e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3.java:1415

↓ 63 callersMethodpost

(BVExpr ee)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3Inc.java:1834

↓ 62 callersMethodlengthAutomaton

(int length)

src/main/gov/nasa/jpf/symbc/string/AutomatonExtra.java:628

↓ 62 callersMethodpost

(Expr e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToCVC.java:1295

↓ 61 callersMethodpost

(Expr ee)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToCVCInc.java:1410

↓ 61 callersMethodsolution

()

src/main/gov/nasa/jpf/symbc/string/StringExpression.java:428

↓ 59 callersMethodgetBVExpr

(Vertex v)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3Inc.java:1886

↓ 57 callersMethodgetExprMut

(Vertex v)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToCVCInc.java:1455

↓ 56 callersMethodgetArgument1

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeSubstring1Equal.java:92

↓ 55 callersMethodgetBVExpr

(Vertex v)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3.java:1439

↓ 55 callersMethodgetExprMut

(Vertex v)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToCVC.java:1319

↓ 55 callersMethodnextToken

()

src/examples/fuzz/gram/test/ExpLexer.java:54

↓ 54 callersMethodparentOf

(Entry p)

src/tests/gov/nasa/jpf/symbc/TreeMap.java:245

↓ 54 callersMethodparentOf

(Entry p)

src/examples/TreeMapSimple.java:257

↓ 54 callersMethodparentOf

(Entry p)

src/examples/rbt/TreeMap.java:806

↓ 53 callersMethodand

(BVExpr orig, BVExpr newE)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3.java:1399

↓ 53 callersMethodand

(BVExpr orig, BVExpr newE)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3Inc.java:1816

↓ 53 callersMethodgetSource

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeNotContains.java:51

↓ 52 callersMethodsameSource

(Edge e1, Edge e2)

src/main/gov/nasa/jpf/symbc/string/graph/PreProcessGraph.java:2942

↓ 50 callersMethodgetMinIndex

()

src/main/gov/nasa/jpf/symbc/string/SymbolicIndexOf2Integer.java:46

↓ 50 callersMethodpropagateChange

(Vertex vertexThatHasChanged, Vertex vertexComingFrom)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomataSpeedUp.java:639

next →1–100 of 5,046, ranked by callers