A C D E F G H I L N O P R S T V W Z
All Classes All Packages

A

addApplySummaryListener(SyncPDSSolver.OnAddedSummaryListener) - Method in class sync.pds.solver.SyncPDSSolver

addCallRule(Rule<Stmt, INode<Fact>, W>) - Method in class sync.pds.solver.SyncPDSSolver

addFieldRule(Rule<Field, INode<Node<Stmt, Fact>>, W>) - Method in class sync.pds.solver.SyncPDSSolver

addGeneratedFieldState(GeneratedState<Node<Stmt, Fact>, Field>) - Method in class sync.pds.solver.SyncPDSSolver

addNormalCallFlow(Node<Stmt, Fact>, Node<Stmt, Fact>) - Method in class sync.pds.solver.SyncPDSSolver

addNormalFieldFlow(Node<Stmt, Fact>, Node<Stmt, Fact>) - Method in class sync.pds.solver.SyncPDSSolver

apply(Stmt, Fact, Stmt, Stmt, Fact) - Method in interface sync.pds.solver.SyncPDSSolver.OnAddedSummaryListener

applyCallSummary(Stmt, Fact, Stmt, Stmt, Fact) - Method in class sync.pds.solver.SyncPDSSolver

asFieldFact(Node<Stmt, Fact>) - Method in class sync.pds.solver.SyncPDSSolver

C

callAutomaton - Variable in class sync.pds.solver.SyncPDSSolver

callingPDS - Variable in class sync.pds.solver.SyncPDSSolver

CallPopNode<Location,Stmt> - Class in sync.pds.solver.nodes

CallPopNode(Location, SyncPDSSolver.PDSSystem, Stmt) - Constructor for class sync.pds.solver.nodes.CallPopNode

CALLS - sync.pds.solver.SyncPDSSolver.PDSSystem

callWitness(Transition<Stmt, INode<Fact>>) - Method in interface sync.pds.solver.WitnessListener

canBeApplied(Transition<N, D>, W) - Method in class sync.pds.solver.CastNormalRule

CastNormalRule<N extends Location,D extends State,W extends Weight> - Class in sync.pds.solver

CastNormalRule(D, N, D, N, W) - Constructor for class sync.pds.solver.CastNormalRule

combineWith(Weight) - Method in class sync.pds.weights.SetDomain

computeSuccessor(Node<Stmt, Fact>) - Method in class sync.pds.solver.SyncPDSSolver

D

debugOutput() - Method in class sync.pds.solver.SyncPDSSolver

E

elements() - Method in class sync.pds.weights.SetDomain

emptyField() - Method in class sync.pds.solver.SyncPDSSolver

EmptyStackWitnessListener<Stmt,Fact> - Interface in sync.pds.solver

epsilonField() - Method in class sync.pds.solver.SyncPDSSolver

epsilonStmt() - Method in class sync.pds.solver.SyncPDSSolver

equals(Object) - Method in class sync.pds.solver.nodes.CallPopNode

equals(Object) - Method in class sync.pds.solver.nodes.ExclusionNode

equals(Object) - Method in class sync.pds.solver.nodes.GeneratedState

equals(Object) - Method in class sync.pds.solver.nodes.Node

equals(Object) - Method in class sync.pds.solver.nodes.NodeWithLocation

equals(Object) - Method in class sync.pds.solver.nodes.PopNode

equals(Object) - Method in class sync.pds.solver.nodes.PushNode

equals(Object) - Method in class sync.pds.solver.nodes.SingleNode

equals(Object) - Method in class sync.pds.weights.SetDomain

exclusion() - Method in class sync.pds.solver.nodes.ExclusionNode

exclusionFieldWildCard(Field) - Method in class sync.pds.solver.SyncPDSSolver

ExclusionNode<Stmt,Fact,Location> - Class in sync.pds.solver.nodes

ExclusionNode(Stmt, Fact, Location) - Constructor for class sync.pds.solver.nodes.ExclusionNode

extendWith(Weight) - Method in class sync.pds.weights.SetDomain

F

fact() - Method in class sync.pds.solver.nodes.GeneratedState

fact() - Method in interface sync.pds.solver.nodes.INode

fact() - Method in class sync.pds.solver.nodes.Node

fact() - Method in class sync.pds.solver.nodes.NodeWithLocation

fact() - Method in class sync.pds.solver.nodes.SingleNode

fieldAutomaton - Variable in class sync.pds.solver.SyncPDSSolver

fieldPDS - Variable in class sync.pds.solver.SyncPDSSolver

FIELDS - sync.pds.solver.SyncPDSSolver.PDSSystem

fieldWildCard() - Method in class sync.pds.solver.SyncPDSSolver

fieldWitness(Transition<Field, INode<Node<Stmt, Fact>>>) - Method in interface sync.pds.solver.WitnessListener

G

generateCallState(INode<Fact>, Stmt) - Method in class sync.pds.solver.SyncPDSSolver

generatedCallState - Variable in class sync.pds.solver.SyncPDSSolver

GeneratedState<L,N> - Class in sync.pds.solver.nodes

GeneratedState(INode<L>, N) - Constructor for class sync.pds.solver.nodes.GeneratedState

generateFieldState(INode<Node<Stmt, Fact>>, Field) - Method in class sync.pds.solver.SyncPDSSolver

getCallWeights() - Method in class sync.pds.solver.SyncPDSSolver

getFieldWeights() - Method in class sync.pds.solver.SyncPDSSolver

getNode() - Method in class sync.pds.solver.SyncStatePDSUpdateListener

getOne() - Method in class sync.pds.solver.OneWeightFunctions

getOne() - Method in interface sync.pds.solver.WeightFunctions

getReachedStates() - Method in class sync.pds.solver.SyncPDSSolver

getReturnSite() - Method in class sync.pds.solver.nodes.CallPopNode

H

hashCode() - Method in class sync.pds.solver.nodes.CallPopNode

hashCode() - Method in class sync.pds.solver.nodes.ExclusionNode

hashCode() - Method in class sync.pds.solver.nodes.GeneratedState

hashCode() - Method in class sync.pds.solver.nodes.Node

hashCode() - Method in class sync.pds.solver.nodes.NodeWithLocation

hashCode() - Method in class sync.pds.solver.nodes.PopNode

hashCode() - Method in class sync.pds.solver.nodes.PushNode

hashCode() - Method in class sync.pds.solver.nodes.SingleNode

hashCode() - Method in class sync.pds.weights.SetDomain

I

INode<Fact> - Interface in sync.pds.solver.nodes

L

location() - Method in class sync.pds.solver.nodes.GeneratedState

location() - Method in class sync.pds.solver.nodes.NodeWithLocation

location() - Method in class sync.pds.solver.nodes.PopNode

location() - Method in class sync.pds.solver.nodes.PushNode

N

node() - Method in class sync.pds.solver.nodes.GeneratedState

Node<Stmt,Fact> - Class in sync.pds.solver.nodes

Node(Stmt, Fact) - Constructor for class sync.pds.solver.nodes.Node

NodeWithLocation<Stmt,Fact,Location> - Class in sync.pds.solver.nodes

NodeWithLocation(Stmt, Fact, Location) - Constructor for class sync.pds.solver.nodes.NodeWithLocation

normal(Node<Stmt, Fact>, Node<Stmt, Fact>) - Method in class sync.pds.solver.OneWeightFunctions

normal(Node<Stmt, Fact>, Node<Stmt, Fact>) - Method in interface sync.pds.solver.WeightFunctions

O

one() - Static method in class sync.pds.weights.SetDomain

OneWeightFunctions<Stmt,Fact,Field,W extends Weight> - Class in sync.pds.solver

OneWeightFunctions(W) - Constructor for class sync.pds.solver.OneWeightFunctions

onReachableNodeAdded(Node<Stmt, Fact>) - Method in interface sync.pds.solver.SyncPDSUpdateListener

P

pop(Node<Stmt, Fact>) - Method in class sync.pds.solver.OneWeightFunctions

pop(Node<Stmt, Fact>) - Method in interface sync.pds.solver.WeightFunctions

PopNode<Location> - Class in sync.pds.solver.nodes

PopNode(Location, SyncPDSSolver.PDSSystem) - Constructor for class sync.pds.solver.nodes.PopNode

preventCallTransitionAdd(Transition<Stmt, INode<Fact>>, W) - Method in class sync.pds.solver.SyncPDSSolver

preventFieldTransitionAdd(Transition<Field, INode<Node<Stmt, Fact>>>, W) - Method in class sync.pds.solver.SyncPDSSolver

processNode(Node<Stmt, Fact>) - Method in class sync.pds.solver.SyncPDSSolver

processNormal(Node<Stmt, Fact>, Node<Stmt, Fact>) - Method in class sync.pds.solver.SyncPDSSolver

processPop(Node<Stmt, Fact>, PopNode) - Method in class sync.pds.solver.SyncPDSSolver

processPush(Node<Stmt, Fact>, Location, PushNode<Stmt, Fact, ?>, SyncPDSSolver.PDSSystem) - Method in class sync.pds.solver.SyncPDSSolver

propagate(Node<Stmt, Fact>, State) - Method in class sync.pds.solver.SyncPDSSolver

push(Node<Stmt, Fact>, Node<Stmt, Fact>, Field) - Method in class sync.pds.solver.OneWeightFunctions

push(Node<Stmt, Fact>, Node<Stmt, Fact>, Field) - Method in interface sync.pds.solver.WeightFunctions

PushNode<Stmt,Fact,Location> - Class in sync.pds.solver.nodes

PushNode(Stmt, Fact, Location, SyncPDSSolver.PDSSystem) - Constructor for class sync.pds.solver.nodes.PushNode

R

reachable() - Method in class sync.pds.solver.SyncStatePDSUpdateListener

registerListener(SyncPDSUpdateListener<Stmt, Fact>) - Method in class sync.pds.solver.SyncPDSSolver

registerListener(SyncStatePDSUpdateListener<Stmt, Fact>) - Method in class sync.pds.solver.SyncPDSSolver

S

SetDomain<N,Stmt,Fact> - Class in sync.pds.weights

SetDomain(Node<Stmt, Fact>) - Constructor for class sync.pds.weights.SetDomain

SingleNode<Fact> - Class in sync.pds.solver.nodes

SingleNode(Fact) - Constructor for class sync.pds.solver.nodes.SingleNode

solve(Node<Stmt, Fact>, Field, INode<Node<Stmt, Fact>>, Stmt, INode<Fact>) - Method in class sync.pds.solver.SyncPDSSolver

solve(Node<Stmt, Fact>, Field, INode<Node<Stmt, Fact>>, Stmt, INode<Fact>, W) - Method in class sync.pds.solver.SyncPDSSolver

stmt - Variable in class sync.pds.solver.nodes.Node

stmt() - Method in class sync.pds.solver.nodes.Node

sync.pds.solver - package sync.pds.solver

sync.pds.solver.nodes - package sync.pds.solver.nodes

sync.pds.weights - package sync.pds.weights

SyncPDSSolver<Stmt extends Location,Fact,Field extends Location,W extends Weight> - Class in sync.pds.solver

SyncPDSSolver(boolean, NestedWeightedPAutomatons<Stmt, INode<Fact>, W>, boolean, NestedWeightedPAutomatons<Field, INode<Node<Stmt, Fact>>, W>, int, int, int) - Constructor for class sync.pds.solver.SyncPDSSolver

SyncPDSSolver.OnAddedSummaryListener<Stmt,Fact> - Interface in sync.pds.solver

SyncPDSSolver.PDSSystem - Enum in sync.pds.solver

SyncPDSUpdateListener<Stmt extends Location,Fact> - Interface in sync.pds.solver

SyncStatePDSUpdateListener<Stmt extends Location,Fact> - Class in sync.pds.solver

SyncStatePDSUpdateListener(Node<Stmt, Fact>) - Constructor for class sync.pds.solver.SyncStatePDSUpdateListener

system() - Method in class sync.pds.solver.nodes.PopNode

system() - Method in class sync.pds.solver.nodes.PushNode

T

toString() - Method in class sync.pds.solver.nodes.GeneratedState

toString() - Method in class sync.pds.solver.nodes.Node

toString() - Method in class sync.pds.solver.nodes.NodeWithLocation

toString() - Method in class sync.pds.solver.nodes.PopNode

toString() - Method in class sync.pds.solver.nodes.PushNode

toString() - Method in class sync.pds.solver.nodes.SingleNode

toString() - Method in class sync.pds.weights.SetDomain

V

valueOf(String) - Static method in enum sync.pds.solver.SyncPDSSolver.PDSSystem

Returns the enum constant of this type with the specified name.

values() - Static method in enum sync.pds.solver.SyncPDSSolver.PDSSystem

Returns an array containing the constants of this enum type, in the order they are declared.

variable - Variable in class sync.pds.solver.nodes.Node

W

WeightFunctions<Stmt,Fact,Field,W extends Weight> - Interface in sync.pds.solver

witnessFound(Node<Stmt, Fact>) - Method in interface sync.pds.solver.EmptyStackWitnessListener

WitnessListener<Stmt extends Location,Fact,Field extends Location> - Interface in sync.pds.solver

wrap(Fact) - Method in class sync.pds.solver.SyncPDSSolver

Z

zero() - Static method in class sync.pds.weights.SetDomain

A C D E F G H I L N O P R S T V W Z
All Classes All Packages