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

↓ 7 callersMethodtoString

()

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

↓ 7 callersMethodtoString

()

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

↓ 7 callersMethodtransform

(E element)

src/main/edu/ucsb/cs/vlab/translate/NormalFormTranslator.java:29

↓ 6 callersMethodNewProfile

()

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

↓ 6 callersMethod_mul

(long i)

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

↓ 6 callersMethod_mul

(double i)

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

↓ 6 callersMethod_or

(IntegerExpression e)

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

↓ 6 callersMethod_plus

(double i)

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

↓ 6 callersMethod_xor

(IntegerExpression e)

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

↓ 6 callersMethodatan2

( double a, double b)

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

↓ 6 callersMethodcalcProb

()

src/examples/ProbExample1.java:24

↓ 6 callersMethodclear

Removes all mappings from this TreeMap.

src/examples/rbt/TreeMap.java:492

↓ 6 callersMethoddiv

(RealExp x, RealExp y)

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

↓ 6 callersMethodelimanateCurrentLengthsConstraints

()

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

↓ 6 callersMethodfixName

(String name)

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

↓ 6 callersMethodgetDest

()

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

↓ 6 callersMethodgetNodesOfType

(ClassInfo type)

src/main/gov/nasa/jpf/symbc/heap/SymbolicInputHeap.java:103

↓ 6 callersMethodgetPrecision

()

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

↓ 6 callersMethodgo

(Profile p, long seed, String Solver)

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

↓ 6 callersMethodgo

(Profile p, long seed, String Solver)

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

↓ 6 callersMethodisClassSymbolic

(Config conf, String className, MethodInfo mi, String methodName)

src/main/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java:118

↓ 6 callersMethodmakeArrayVar

(String name)

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

↓ 6 callersMethodmakeSymbolicRef

(String name, Object v)

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

↓ 6 callersMethodminus

(long value, Object exp)

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

↓ 6 callersMethodmul

(Rational r)

src/examples/compositional/Rational.java:233

↓ 6 callersMethodprintHeapPC

(String msg)

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

↓ 6 callersMethodremove

(int x)

src/examples/sequences/BST.java:101

↓ 6 callersMethodsetLength

(int l)

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

↓ 6 callersMethodsolution

()

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

↓ 6 callersMethodtrimPC

(String pc)

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

↓ 5 callersMethodFire_region_1_100000205_exit

()

src/examples/rjc/Chart.java:194

↓ 5 callersMethodFire_region_1_100000474_exit

( )

src/examples/rjc/Chart_i1.java:240

↓ 5 callersMethodFire_region_1_100000743_exit

( )

src/examples/rjc/Chart_i2.java:237

↓ 5 callersMethodFire_region_2_100000210_exit

()

src/examples/rjc/Chart.java:325

↓ 5 callersMethodFire_region_2_100000479_exit

( )

src/examples/rjc/Chart_i1.java:389

↓ 5 callersMethodFire_region_2_100000748_exit

( )

src/examples/rjc/Chart_i2.java:387

↓ 5 callersMethodStart_100000204_exit

()

src/examples/rjc/Chart.java:156

↓ 5 callersMethodStart_100000473_exit

( )

src/examples/rjc/Chart_i1.java:193

↓ 5 callersMethodStart_100000742_exit

( )

src/examples/rjc/Chart_i2.java:193

↓ 5 callersMethod_and

(IntegerExpression e)

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

↓ 5 callersMethod_shiftUR

(IntegerExpression i)

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

↓ 5 callersMethodaddSymbolicChar

(char v, String name)

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

↓ 5 callersMethodcancelTimer

()

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

↓ 5 callersMethodcleanup

()

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

↓ 5 callersMethodequals

(Object o)

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

↓ 5 callersMethodgenerateRandomProblem

(Profile p, long seed)

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

↓ 5 callersMethodgetArg1

()

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

↓ 5 callersMethodgetArg2

()

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

↓ 5 callersMethodgetOp

()

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

↓ 5 callersMethodgetPC

Get the path condition of a SystemState's most recent PCChoiceGenerator.

src/main/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java:618

↓ 5 callersMethodgetPC

(MJIEnv env)

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

↓ 5 callersMethodgetSource

()

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

↓ 5 callersMethodgetVarMax

(String varname, long max)

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

↓ 5 callersMethodgetVarMaxDouble

Return the maximum real 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:468

↓ 5 callersMethodgetVarMin

(String varname, long min)

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

↓ 5 callersMethodgetVarMinDouble

Return the minimum real 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:455

↓ 5 callersMethodisSAT

()

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

↓ 5 callersMethodmakeRealArrayVar

(String name)

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

↓ 5 callersMethodprint

()

src/examples/uberlazy/Node.java:34

↓ 5 callersMethodrotateLeft

From CLR

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

↓ 5 callersMethodrotateLeft

From CLR

src/examples/TreeMapSimple.java:276

↓ 5 callersMethodrotateLeft

From CLR

src/examples/rbt/TreeMap.java:824

↓ 5 callersMethodrotateRight

From CLR

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

↓ 5 callersMethodrotateRight

From CLR

src/examples/TreeMapSimple.java:297

↓ 5 callersMethodrotateRight

From CLR

src/examples/rbt/TreeMap.java:841

↓ 5 callersMethodround

( double d)

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

↓ 5 callersMethodsendIncMessage

(String msg)

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

↓ 5 callersMethodsolutionInt

()

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

↓ 5 callersMethodtan

( double a)

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

↓ 5 callersMethodtoString

()

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

↓ 4 callersMethodCoast_region_1_100000209_enter

(int entryMode, int tpp)

src/examples/rjc/Chart.java:268

↓ 4 callersMethodCoast_region_1_100000478_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i1.java:324

↓ 4 callersMethodCoast_region_1_100000747_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i2.java:321

↓ 4 callersMethodCoast_region_2_100000206_enter

(int entryMode, int tpp)

src/examples/rjc/Chart.java:198

↓ 4 callersMethodCoast_region_2_100000475_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i1.java:244

↓ 4 callersMethodCoast_region_2_100000744_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i2.java:241

↓ 4 callersMethod_IvalueOf

()

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

↓ 4 callersMethod_concat

(String s)

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

↓ 4 callersMethod_div

(long i)

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

↓ 4 callersMethod_div

(double i)

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

↓ 4 callersMethod_get_next

()

src/examples/symbolicheap/Node.java:76

↓ 4 callersMethod_minus

(double i)

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

↓ 4 callersMethod_rem

(long i)

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

↓ 4 callersMethod_shiftL

(IntegerExpression i)

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

↓ 4 callersMethod_shiftR

(IntegerExpression i)

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

↓ 4 callersMethodaddConstraint

(Constraint cRef)

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

↓ 4 callersMethodaddExpression

(String expressionString, Map<String,Expression> expressionMap)

src/main/gov/nasa/jpf/symbc/numeric/PreCondition.java:85

↓ 4 callersMethodaddExpression

(String expressionString, Map<String,Expression> expressionMap, PathCondition pc)

src/main/gov/nasa/jpf/symbc/concolic/Partition.java:93

↓ 4 callersMethodaddValue

(long newValue)

src/examples/concolic/StatCalculator.java:53

↓ 4 callersMethodarraycopy

(Object[] src,Object[] dest,int length)

src/examples/compositional/Rational.java:241

↓ 4 callersMethodcollect

(IntegerExpression instance)

src/main/edu/ucsb/cs/vlab/translate/smtlib/generic/NumericExpressionTranslator.java:39

↓ 4 callersMethoddeposit

(int amount)

src/examples/sequences/BankAccount.java:40

↓ 4 callersMethodexecute

Execute INVOKESPECIAL, INVOKESTATIC, and INVOKEVIRTUAL symbolically. @param invInst The instance of INVOKESPECIAL, INVOKESTATIC, or INVOKE

src/main/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java:181

↓ 4 callersMethodfind

(int x)

src/examples/sequences/BST.java:83

↓ 4 callersMethodfindSolution

(Constraint c1)

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

↓ 4 callersMethodgetArgValues

()

src/main/gov/nasa/jpf/symbc/SymbolicListener.java:633

↓ 4 callersMethodgetArgValues

()

src/main/gov/nasa/jpf/symbc/heap/HeapSymbolicListener.java:851

↓ 4 callersMethodgetDest

()

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

↓ 4 callersMethodgetExpression

(Expression eRef)

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

↓ 4 callersMethodgetExpression

()

src/main/gov/nasa/jpf/symbc/string/SymbolicIndexOfCharInteger.java:38

← previous next →301–400 of 5,046, ranked by callers