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

↓ 50 callersMethodrandomConsInteger

()

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

↓ 49 callersMethod_plus

(double i)

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

↓ 48 callersMethod_concat

(String s)

src/main/gov/nasa/jpf/symbc/string/StringConstant.java:75

↓ 48 callersMethodgetPathCondition

()

src/classes/gov/nasa/jpf/symbc/TestUtils.java:22

↓ 47 callersMethodrandomSymInteger

()

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

↓ 47 callersMethodtoBits

(char c)

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

↓ 46 callersMethodgetSymbolicArgument2

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeSubstring2Equal.java:164

↓ 46 callersMethodprintResult

(String str)

src/examples/TestZ3.java:202

↓ 46 callersMethodretrieveInt

(Vertex v)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToSAT.java:423

↓ 46 callersMethodtoBits

(char c)

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

↓ 45 callersMethodand

(Expr orig, Expr newE)

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

↓ 45 callersMethodeq

(long value, Object exp)

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

↓ 44 callersMethodand

(Expr orig, Expr newE)

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

↓ 44 callersMethodgetIndex

()

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

↓ 43 callersMethodgetIndex

()

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

↓ 43 callersMethodselect

(Object exp1, Object exp2)

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

↓ 42 callersMethodrandomInteger

()

src/main/gov/nasa/jpf/symbc/string/testing/RandomTest2.java:736

↓ 40 callersMethodelimanateCurrentLengths

()

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

↓ 40 callersMethodgetNpc

()

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

↓ 38 callersMethodcontainsKey

Returns <tt>true</tt> if this map contains a mapping for the specified key. @param key key whose presence in this map is to be tested. @r

src/examples/rbt/TreeMap.java:88

↓ 38 callersMethodgetIndex

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeIndexOf2.java:86

↓ 38 callersMethodgetVertices

()

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

↓ 38 callersMethodrandomString

()

src/main/gov/nasa/jpf/symbc/string/testing/RandomTest2.java:810

↓ 37 callersMethodcheckBounds

(long l)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemZ3BitVectorIncremental.java:118

↓ 37 callersMethodcheckBounds

(long l)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemZ3BitVector.java:137

↓ 37 callersMethodcollect

(StringConstraint instance)

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

↓ 37 callersMethodconstant

(final double value)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemDReal.java:379

↓ 37 callersMethodgetLeft

Returns the left expression. Subclasses may override to give tighter type bounds.

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

↓ 36 callersMethod_append

(SymbolicStringBuilder s)

src/main/gov/nasa/jpf/symbc/string/SymbolicStringBuilder.java:110

↓ 34 callersMethodgetName

()

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

↓ 33 callersMethodcomp

(final String op, final Term lhs, final Term rhs)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemDReal.java:388

↓ 33 callersMethodpow

( double a, double b)

src/classes/java/lang/Math.java:161

↓ 32 callersMethodgetComparator

Returns the comparator used in this constraint.

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

↓ 32 callersMethodgetstr

()

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

↓ 30 callersMethodconvertToGraph

Converts an expression to a subgraph, the subgraph will be added to the main graph later. @param se @return

src/main/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsGeneral.java:181

↓ 30 callersMethodconvertToGraph

Converts an expression to a subgraph, the subgraph will be added to the main graph later. @param se @return

src/main/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsGeneralToText.java:142

↓ 30 callersMethodgetArgAttributes

()

src/main/gov/nasa/jpf/symbc/sequences/SequenceChoiceGenerator.java:82

↓ 30 callersMethodgetIndex

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeLastIndexOfChar.java:86

↓ 29 callersMethodgetVarMaxInt

Return the maximum integer value that a given variable can assume. @param varname the name of the variable @return the maximum value of the variable

src/main/gov/nasa/jpf/symbc/numeric/MinMax.java:405

↓ 28 callersMethodgetRight

Returns the right expression. Subclasses may override to give tighter type bounds.

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

↓ 28 callersMethodgetVarMinInt

Return the minimum integer value that a given variable can assume. @param varname the name of the variable @return the minimum value of the variable

src/main/gov/nasa/jpf/symbc/numeric/MinMax.java:348

↓ 27 callersMethodisSatisfiable

(StringPathCondition pc)

src/main/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsHAMPI.java:75

↓ 27 callersMethodsetColor

(Entry p, boolean c)

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

↓ 27 callersMethodsetColor

(Entry p, boolean c)

src/examples/TreeMapSimple.java:261

↓ 27 callersMethodsetColor

(Entry p, boolean c)

src/examples/rbt/TreeMap.java:810

↓ 26 callersMethodmakeIntVar

(String name, long min, long max)

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

↓ 26 callersMethodnumericExpressionToSMTLIB

(IntegerExpression ie)

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

↓ 26 callersMethodsolve

(StringPathCondition pc)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3str2.java:16

↓ 25 callersMethodelimanateCurrentLengths

()

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

↓ 24 callersMethodTESTIT

(double arg)

src/examples/concolic/MathSin.java:403

↓ 24 callersMethodelimanateCurrentLengthsConstraints

()

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

↓ 24 callersMethodexcludeVertecis

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:2562

↓ 24 callersMethodgetKey

Returns the key. @return the key.

src/examples/rbt/TreeMap.java:701

↓ 24 callersMethodgetRootName

()

src/main/gov/nasa/jpf/symbc/arrays/ArrayExpression.java:66

↓ 24 callersMethodhasConstraint

Returns whether this path condition contains the constraint.

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

↓ 24 callersMethodpcMatches

(String newPC)

src/tests/gov/nasa/jpf/symbc/InvokeTest.java:36

↓ 23 callersMethodgetCounter

()

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

↓ 23 callersMethodgetYicesDouble

(double d)

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

↓ 23 callersMethodmakePCAssertString

(String location, String goodPC, String badPC)

src/tests/gov/nasa/jpf/symbc/InvokeTest.java:27

↓ 23 callersMethodpostVisit

(Constraint constraint)

src/main/gov/nasa/jpf/symbc/numeric/solvers/SolverTranslator.java:129

↓ 23 callersMethodpreVisit

(Constraint constraint)

src/main/gov/nasa/jpf/symbc/numeric/ConstraintExpressionVisitor.java:70

↓ 22 callersMethodgetName

()

src/main/gov/nasa/jpf/symbc/arrays/ArrayExpression.java:34

↓ 22 callersMethodhasConstraint

(StringConstraint c)

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

↓ 20 callersMethodclose

()

src/main/gov/nasa/jpf/symbc/string/translate/Z3Interface.java:291

↓ 20 callersMethodequals

(Object o)

src/examples/rbt/TreeMap.java:727

↓ 20 callersMethodgetDest

()

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

↓ 20 callersMethodgetInvokedMethod

A single invoked 'method' is represented as a String. information about the invoked method is got from the SequenceChoiceGenerator

src/main/gov/nasa/jpf/symbc/sequences/SymbolicSequenceListener.java:337

↓ 20 callersMethodprintln

(String msg)

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

↓ 20 callersMethodtoString

()

src/examples/rbt/TreeMap.java:741

↓ 19 callersMethod_lastIndexOf

(StringExpression exp)

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

↓ 19 callersMethod_minus

(double i)

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

↓ 19 callersMethodgetArgument2

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeSubstring2Equal.java:64

↓ 19 callersMethodgetExpression

()

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

↓ 18 callersMethodprependUnlessRepeated

Prepends the given constraint to this path condition, unless the constraint is already included in this condition. Returns whether the condition was

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

↓ 17 callersMethodaddVertex

(Vertex v)

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

↓ 17 callersMethodelimanateCurrentLengthsConstraints

()

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

↓ 17 callersMethodgetMax

()

src/examples/concolic/StatCalculator.java:98

↓ 17 callersMethodmake_copy

()

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

↓ 17 callersMethodprint

()

src/main/gov/nasa/jpf/symbc/numeric/solvers/SolvingDiff.java:71

↓ 17 callersMethodsin

( double a)

src/classes/java/lang/Math.java:157

↓ 17 callersMethodunique

(StringExpression se1, StringExpression se2)

src/main/gov/nasa/jpf/symbc/string/testing/RandomTest2.java:783

↓ 16 callersMethodconvertToList

(String[] arg)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:2071

↓ 16 callersMethodgetArgument1Symbolic

()

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

↓ 16 callersMethodgetIndex

()

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

↓ 16 callersMethodgetMin

()

src/examples/concolic/StatCalculator.java:93

↓ 16 callersMethodgetSymbolicArgument1

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeSubstring2Equal.java:160

↓ 16 callersMethodgetValue

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeCharAt.java:127

↓ 16 callersMethodhashCode

()

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

↓ 16 callersMethodneq

(double c, RealExp x)

src/main/gov/nasa/jpf/symbc/numeric/RealProblem.java:51

↓ 16 callersMethodnumericExpressionToSMTLIB

(IntegerExpression ie)

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

↓ 16 callersMethodprintln

(String msg)

src/main/gov/nasa/jpf/symbc/string/testing/RandomTest2.java:848

↓ 15 callersMethodapply

(Instruction executedInstruction, Instruction instrToBeExecuted, VM vm, ThreadInfo currentThread)

src/main/gov/nasa/jpf/symbc/tree/Filter.java:68

↓ 15 callersMethodcos

( double a)

src/classes/java/lang/Math.java:159

↓ 15 callersMethodcreate

(String name)

src/main/gov/nasa/jpf/symbc/arrays/ArrayExpression.java:85

↓ 15 callersMethodgeq

(long value, Object exp)

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

↓ 15 callersMethodgetModel

()

src/main/edu/ucsb/cs/vlab/modelling/Output.java:54

↓ 15 callersMethodgt

(double c, RealExp x)

src/main/gov/nasa/jpf/symbc/numeric/RealProblem.java:76

↓ 15 callersMethodleq

(long value, Object exp)

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

↓ 15 callersMethodlt

(double c, RealExp x)

src/main/gov/nasa/jpf/symbc/numeric/RealProblem.java:67

↓ 15 callersMethodsolution

()

src/main/gov/nasa/jpf/symbc/numeric/IntegerExpression.java:287

← previous next →101–200 of 5,046, ranked by callers