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 callersMethodOK_100000524_enter

( int entryMode, int tpp )

src/examples/rjc/ObserverAutomata.java:69

↓ 2 callersMethodSkip_a_Sample_1_100000208_enter

(int entryMode, int tpp)

src/examples/rjc/Chart.java:244

↓ 2 callersMethodSkip_a_Sample_1_100000477_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i1.java:296

↓ 2 callersMethodSkip_a_Sample_1_100000746_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i2.java:293

↓ 2 callersMethodSkip_a_Sample_2_100000207_enter

(int entryMode, int tpp)

src/examples/rjc/Chart.java:220

↓ 2 callersMethodSkip_a_Sample_2_100000476_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i1.java:268

↓ 2 callersMethodSkip_a_Sample_2_100000745_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i2.java:265

↓ 2 callersMethodWait_for_stable_rate_100000203_enter

(int entryMode, int tpp)

src/examples/rjc/Chart.java:102

↓ 2 callersMethodWait_for_stable_rate_100000472_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i1.java:134

↓ 2 callersMethodWait_for_stable_rate_100000741_enter

( int entryMode, int tpp )

src/examples/rjc/Chart_i2.java:134

↓ 2 callersMethod_div_reverse

(long i)

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

↓ 2 callersMethod_div_reverse

(double i)

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

↓ 2 callersMethod_get_Node

()

src/examples/symbolicheap/Node.java:53

↓ 2 callersMethod_minus_reverse

(long i)

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

↓ 2 callersMethod_minus_reverse

(double i)

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

↓ 2 callersMethod_neg

()

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

↓ 2 callersMethod_neg

()

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

↓ 2 callersMethod_rem_reverse

(long i)

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

↓ 2 callersMethod_set_next

(Node _value)

src/examples/symbolicheap/Node.java:71

↓ 2 callersMethod_shiftL

(long i)

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

↓ 2 callersMethod_shiftR

(long i)

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

↓ 2 callersMethod_shiftUR

(long i)

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

↓ 2 callersMethodabort

()

src/examples/concolic/DART.java:34

↓ 2 callersMethodabs

(int x)

src/examples/compositional/Rational.java:43

↓ 2 callersMethodabs

(int x)

src/examples/compositional/TestAbs.java:24

↓ 2 callersMethodaddConstantVertex

(String name, String solution)

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

↓ 2 callersMethodaddHeapPC

(String pc)

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

↓ 2 callersMethodaddPathCondition

(Pair pc)

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

↓ 2 callersMethodaddPathCondition

(Pair pc)

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

↓ 2 callersMethodaddVertex_method

add vertex. returns true if vertex is new.

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

↓ 2 callersMethodaddVertex_sequence

add vertex. returns true if vertex is new.

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

↓ 2 callersMethodallVertecisAreConstant

()

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

↓ 2 callersMethodappendAllConjuncts

(Constraint t)

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

↓ 2 callersMethodassume

(boolean c)

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

↓ 2 callersMethodbar

(int n, int k, String op)

src/examples/strings/Tricky.java:25

↓ 2 callersMethodcallJPF

(String solver)

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

↓ 2 callersMethodcollect

(Constraint npc)

src/main/edu/ucsb/cs/vlab/translate/smtlib/generic/NumericConstraintTranslator.java:26

↓ 2 callersMethodcompare

Compares two keys using the correct comparison method for this TreeMap.

src/examples/rbt/TreeMap.java:501

↓ 2 callersMethodconcreteString

(int max_level)

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

↓ 2 callersMethodconcreteString

(int max_level)

src/examples/TreeMapSimple.java:136

↓ 2 callersMethodconfigure

Set CORAL's parameters with the values from the .jpf file. Look at ExSymExeCoral.jpf for more information.

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

↓ 2 callersMethodcontainsEdge_method

(Edge edge)

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

↓ 2 callersMethodcontainsEdge_sequence

(Edge edge)

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

↓ 2 callersMethodcreateFromDataFiles

(String path)

src/peers/gov/nasa/jpf/symbc/DNNData.java:35

↓ 2 callersMethodcreateInstance

(Constraint c)

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

↓ 2 callersMethodcreateSimplifiedPC

()

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

↓ 2 callersMethodcreateSymbolicDeclaration

(final Set<String> symbolicVars, String type)

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

↓ 2 callersMethoddec

(int input)

src/examples/sequences/IncDec.java:46

↓ 2 callersMethoddefaultGoodOfEdges2

()

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

↓ 2 callersMethoddefaultSetOfEdges2

()

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

↓ 2 callersMethoddispose

()

src/main/vlab/cs/ucsb/edu/DriverProxy.java:149

↓ 2 callersMethodelimanateCurrentLengthsConstraints

()

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

↓ 2 callersMethodeqConcolicConstraint

(Expression eRef)

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

↓ 2 callersMethodequals

(Object o)

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

↓ 2 callersMethodexpandReferenceObject

(PathCondition pc,ThreadInfo ti, ClassInfo ci, int objNum)

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

↓ 2 callersMethodextractClauses

(Sentence s)

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

↓ 2 callersMethodextractSymbols

(Sentence clause)

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

↓ 2 callersMethodfastMultiply

(BigInteger x, BigInteger y)

src/examples/modpow/OptimizedMultiplier.java:21

↓ 2 callersMethodfind

(int x)

src/examples/sequences/BinTree.java:74

↓ 2 callersMethodfixAfterDeletion

From CLR

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

↓ 2 callersMethodfixAfterDeletion

From CLR

src/examples/TreeMapSimple.java:408

↓ 2 callersMethodfixAfterDeletion

From CLR

src/examples/rbt/TreeMap.java:953

↓ 2 callersMethodfixAfterInsertion

From CLR

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

↓ 2 callersMethodfixAfterInsertion

From CLR

src/examples/TreeMapSimple.java:318

↓ 2 callersMethodfixAfterInsertion

From CLR

src/examples/rbt/TreeMap.java:858

↓ 2 callersMethodforceLengthsSame

(Vertex v1, Vertex v2, PathCondition pc)

src/main/gov/nasa/jpf/symbc/string/graph/PreProcessGraphBackup.java:990

↓ 2 callersMethodgetAns

()

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

↓ 2 callersMethodgetArgTypes

()

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

↓ 2 callersMethodgetArgTypes

()

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

↓ 2 callersMethodgetDest

()

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

↓ 2 callersMethodgetElemType

()

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

↓ 2 callersMethodgetEntry

(int key)

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

↓ 2 callersMethodgetEntry

(int key)

src/examples/TreeMapSimple.java:64

↓ 2 callersMethodgetExpression

()

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

↓ 2 callersMethodgetExpression

()

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

↓ 2 callersMethodgetExpression

()

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

↓ 2 callersMethodgetExpression

()

src/main/gov/nasa/jpf/symbc/string/SymbolicLastIndexOfInteger.java:36

↓ 2 callersMethodgetExpression

()

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

↓ 2 callersMethodgetExpression

()

src/main/gov/nasa/jpf/symbc/string/SymbolicCharAtInteger.java:44

↓ 2 callersMethodgetFooter

()

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

↓ 2 callersMethodgetFormat

()

src/main/gov/nasa/jpf/symbc/tree/visualizer/DOTVisualizerListener.java:59

↓ 2 callersMethodgetHeader

()

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

↓ 2 callersMethodgetIndex

()

src/main/gov/nasa/jpf/symbc/string/SymbolicCharAtInteger.java:48

↓ 2 callersMethodgetInvokedMethodWithSymbolicAttr

Similar to getInvokedMethod except that the arguments are symbolic.

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

↓ 2 callersMethodgetLastInvokedMethod

gets the last invoked method. explores the SequenceChoiceGenerator chain and gets the last one in the chain.

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

↓ 2 callersMethodgetLastInvokedMethodWithSymbolicAttr

same as getLastInvokedMethod except the attributes are symbolic

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

↓ 2 callersMethodgetLeft

()

src/main/gov/nasa/jpf/symbc/numeric/BinaryRealExpression.java:92

↓ 2 callersMethodgetLeft

()

src/main/gov/nasa/jpf/symbc/numeric/NonLinearIntegerConstraint.java:52

↓ 2 callersMethodgetLeft

()

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

↓ 2 callersMethodgetLeft

()

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

↓ 2 callersMethodgetLeft

()

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

↓ 2 callersMethodgetMethodSequence

traverses the ChoiceGenerator chain to get the method sequence looks for SequenceChoiceGenerator in the chain SequenceChoiceGenerators have informatio

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

↓ 2 callersMethodgetMethodSequence

traverses the ChoiceGenerator chain to get the method sequence looks for SequenceChoiceGenerator in the chain SequenceChoiceGenerators have informatio

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

↓ 2 callersMethodgetMethodSequenceWithSymbolicAttr

same as getMethodSequence except attributes are symbolic

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

↓ 2 callersMethodgetMinDist

()

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

↓ 2 callersMethodgetMinIndex

()

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

↓ 2 callersMethodgetNeighbours

(Vertex v)

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

↓ 2 callersMethodgetNextInstructionAndSetPCChoiceDouble

(ThreadInfo ti, Instruction instr, RealExpression sym_v1,

src/main/gov/nasa/jpf/symbc/bytecode/optimization/util/IFInstrSymbHelper.java:321

↓ 2 callersMethodgetNextInstructionAndSetPCChoiceFloat

(ThreadInfo ti, Instruction instr, RealExpression sym_v1,

src/main/gov/nasa/jpf/symbc/bytecode/optimization/util/IFInstrSymbHelper.java:180

↓ 2 callersMethodgetOp

()

src/main/gov/nasa/jpf/symbc/numeric/BinaryRealExpression.java:88

← previous next →601–700 of 5,046, ranked by callers