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

↓ 4 callersMethodgetExpression

()

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

↓ 4 callersMethodgetLeft

()

src/main/gov/nasa/jpf/symbc/numeric/BinaryLinearIntegerExpression.java:124

↓ 4 callersMethodgetList

()

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

↓ 4 callersMethodgetMethodName

()

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

↓ 4 callersMethodgetMethodName

()

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

↓ 4 callersMethodgetNodeAttr

(InvokeInstruction instr, PathCondition pc)

src/main/gov/nasa/jpf/symbc/tree/visualizer/DOTFactory.java:71

↓ 4 callersMethodgetOp

()

src/main/gov/nasa/jpf/symbc/numeric/BinaryLinearIntegerExpression.java:132

↓ 4 callersMethodgetOperator

(String str)

src/peers/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_TestPC.java:71

↓ 4 callersMethodgetPC

(MJIEnv env)

src/peers/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java:55

↓ 4 callersMethodgetRight

()

src/main/gov/nasa/jpf/symbc/numeric/BinaryLinearIntegerExpression.java:128

↓ 4 callersMethodgetStringExpression

(StringExpression expr)

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

↓ 4 callersMethodgetVarMaxByte

Return the maximum byte 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:435

↓ 4 callersMethodgetVarMinByte

Return the minimum byte 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:378

↓ 4 callersMethodhandleBooleanStringInstructions

Symbolic Big Decimal Routines end

src/main/gov/nasa/jpf/symbc/bytecode/SymbolicStringHandler.java:824

↓ 4 callersMethodhashCode

()

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

↓ 4 callersMethodisHyper

()

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

↓ 4 callersMethodisOne

(final Term t)

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

↓ 4 callersMethodmakeSymbolicInteger

(String name)

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

↓ 4 callersMethodmakeSymbolicReal

(String name)

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

↓ 4 callersMethodmod

(Object exp, int value)

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

↓ 4 callersMethodor

(BVExpr orig, BVExpr newE)

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

↓ 4 callersMethodor

(Expr orig, Expr newE)

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

↓ 4 callersMethodor

(Expr orig, Expr newE)

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

↓ 4 callersMethodor

(BVExpr orig, BVExpr newE)

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

↓ 4 callersMethodprefix_notation

()

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

↓ 4 callersMethodrenameVertex

(Vertex oldV, Vertex newV)

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

↓ 4 callersMethodsetSource

(Vertex v)

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

↓ 4 callersMethodsolution

()

src/main/gov/nasa/jpf/symbc/numeric/SymbolicReal.java:122

↓ 4 callersMethodstartsWith

(Edge e)

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

↓ 4 callersMethodtoDot

()

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

↓ 4 callersMethodtoString

()

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

↓ 4 callersMethodtoString

()

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

↓ 4 callersMethodtranslate

(final StringPathCondition spc)

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

↓ 4 callersMethodwithdraw

(int amount)

src/examples/sequences/BankAccount.java:47

↓ 3 callersMethodFire_region_1_100000205_enter

(int entryMode, int tpp)

src/examples/rjc/Chart.java:160

↓ 3 callersMethodFire_region_1_100000474_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i1.java:197

↓ 3 callersMethodFire_region_1_100000743_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i2.java:197

↓ 3 callersMethodFire_region_2_100000210_enter

(int entryMode, int tpp)

src/examples/rjc/Chart.java:290

↓ 3 callersMethodFire_region_2_100000479_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i1.java:348

↓ 3 callersMethodFire_region_2_100000748_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i2.java:345

↓ 3 callersMethodOK_100000524_exit

( )

src/examples/rjc/ObserverAutomata.java:92

↓ 3 callersMethodSkip_a_Sample_1_100000208_exit

()

src/examples/rjc/Chart.java:264

↓ 3 callersMethodSkip_a_Sample_1_100000477_exit

( )

src/examples/rjc/Chart_i1.java:320

↓ 3 callersMethodSkip_a_Sample_1_100000746_exit

( )

src/examples/rjc/Chart_i2.java:317

↓ 3 callersMethodSkip_a_Sample_2_100000207_exit

()

src/examples/rjc/Chart.java:240

↓ 3 callersMethodSkip_a_Sample_2_100000476_exit

( )

src/examples/rjc/Chart_i1.java:292

↓ 3 callersMethodSkip_a_Sample_2_100000745_exit

( )

src/examples/rjc/Chart_i2.java:289

↓ 3 callersMethodWait_for_stable_rate_100000203_exit

()

src/examples/rjc/Chart.java:121

↓ 3 callersMethodWait_for_stable_rate_100000472_exit

( )

src/examples/rjc/Chart_i1.java:157

↓ 3 callersMethodWait_for_stable_rate_100000741_exit

( )

src/examples/rjc/Chart_i2.java:157

↓ 3 callersMethod_RvalueOf

()

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

↓ 3 callersMethod_add

(HeapNode n)

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

↓ 3 callersMethodabsorb

(List<List<Symbol>> clauses)

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

↓ 3 callersMethodacos

( double a)

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

↓ 3 callersMethodaddNewHeapNode

(ClassInfo typeClassInfo, ThreadInfo ti, Object attr, PathCondition pcHeap, SymbolicInputHeap symInputHea

src/main/gov/nasa/jpf/symbc/heap/Helper.java:125

↓ 3 callersMethodaddSymbolicInt

(int v, String name)

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

↓ 3 callersMethodasin

( double a)

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

↓ 3 callersMethodatan

( double a)

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

↓ 3 callersMethodatan2

(Object exp1, Object exp2)

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

↓ 3 callersMethodcatchBody

The "ProblemCompare" solver calls this to deal with yices and choco refinements of solution ranges.

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

↓ 3 callersMethodconvert

(int listOfClauses[][])

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

↓ 3 callersMethodcount

Returns the number of constraints in this path condition.

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

↓ 3 callersMethodcreate

(String name, int l, int u)

src/main/gov/nasa/jpf/symbc/string/SymbolicIntegerGenerator.java:34

↓ 3 callersMethodendingSubstrings

(Automaton a)

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

↓ 3 callersMethodendsWith

(Edge e)

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

↓ 3 callersMethodendsWith

(Edge e)

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

↓ 3 callersMethodendsWith

(Edge e)

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

↓ 3 callersMethodeval_str

(String str)

src/examples/fuzz/gram/test/ExpParser.java:186

↓ 3 callersMethodevaluate

Apply this comparator to the given operands. @param left the left operand @param right the right operand @return <code>true</co

src/main/gov/nasa/jpf/symbc/numeric/Comparator.java:72

↓ 3 callersMethodexp

( double a)

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

↓ 3 callersMethodfindLeftSide

(String entireString, String rightString)

src/main/gov/nasa/jpf/symbc/string/StringUtility.java:22

↓ 3 callersMethodfindRightSide

(String entireString, String leftString)

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

↓ 3 callersMethodgenerateRandomStringGraph

(Profile p, long seed)

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

↓ 3 callersMethodgetAbstractedState

Simply gets the abstracted state (as a String sequence) depending on user-defined abstraction

src/main/gov/nasa/jpf/symbc/abstraction/SymbolicAbstractionListener.java:794

↓ 3 callersMethodgetArgValues

()

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

↓ 3 callersMethodgetC2

()

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

↓ 3 callersMethodgetDest

()

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

↓ 3 callersMethodgetDest

()

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

↓ 3 callersMethodgetEntry

Returns this map's entry for the given key, or <tt>null</tt> if the map does not contain an entry for the key. @return this map's entry for the given

src/examples/rbt/TreeMap.java:192

↓ 3 callersMethodgetInstance

()

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

↓ 3 callersMethodgetIntValue

(Object dpVar)

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

↓ 3 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/abstraction/SymbolicAbstractionListener.java:558

↓ 3 callersMethodgetMethodShortName

()

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

↓ 3 callersMethodgetName

()

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

↓ 3 callersMethodgetPathConditionString

(PathCondition pc)

src/main/gov/nasa/jpf/symbc/tree/visualizer/DOTFactory.java:127

↓ 3 callersMethodgetPathConditions

()

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

↓ 3 callersMethodgetPathConditions

()

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

↓ 3 callersMethodgetProperties

()

src/main/edu/ucsb/cs/vlab/Z3.java:25

↓ 3 callersMethodgetSource

()

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

↓ 3 callersMethodgetSymValues

()

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

↓ 3 callersMethodgetValue

Returns the value associated with the key. @return the value associated with the key.

src/examples/rbt/TreeMap.java:710

↓ 3 callersMethodhandle

(Edge e)

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

↓ 3 callersMethodhandle

(Edge e)

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

↓ 3 callersMethodhandleParseLongValueOf

(JVMInvokeInstruction invInst, ThreadInfo th)

src/main/gov/nasa/jpf/symbc/bytecode/SymbolicStringHandler.java:1298

↓ 3 callersMethodidempotency

(Set<Sentence> clauses)

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

↓ 3 callersMethodinconsistent

Checks if there are a pair of vertices with a comparator equals and not equals between them @return

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

↓ 3 callersMethodincrementSize

()

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

↓ 3 callersMethodincrementSize

()

src/examples/TreeMapSimple.java:48

↓ 3 callersMethodincrementSize

()

src/examples/rbt/TreeMap.java:51

↓ 3 callersMethodinit

(int size)

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

← previous next →401–500 of 5,046, ranked by callers