Uses of Class
sync.pds.solver.nodes.Node

Packages that use Node

Package	Description
sync.pds.solver
sync.pds.solver.nodes
sync.pds.weights

Uses of Node in sync.pds.solver

Fields in sync.pds.solver with type parameters of type Node

Modifier and Type	Field	Description
protected WeightedPAutomaton<Field,INode<Node<Stmt,Fact>>,W>	SyncPDSSolver.fieldAutomaton
protected WeightedPushdownSystem<Field,INode<Node<Stmt,Fact>>,W>	SyncPDSSolver.fieldPDS

Methods in sync.pds.solver that return Node

Modifier and Type	Method	Description
Node<Stmt,Fact>	SyncStatePDSUpdateListener.getNode()

Methods in sync.pds.solver that return types with arguments of type Node

Modifier and Type	Method	Description
INode<Node<Stmt,Fact>>	SyncPDSSolver.asFieldFact(Node<Stmt,Fact> node)
INode<Node<Stmt,Fact>>	SyncPDSSolver.generateFieldState(INode<Node<Stmt,Fact>> d, Field loc)
Set<Node<Stmt,Fact>>	SyncPDSSolver.getReachedStates()

Methods in sync.pds.solver with parameters of type Node

Modifier and Type	Method	Description
void	SyncPDSSolver.addNormalCallFlow(Node<Stmt,Fact> curr, Node<Stmt,Fact> succ)
void	SyncPDSSolver.addNormalFieldFlow(Node<Stmt,Fact> curr, Node<Stmt,Fact> succ)
INode<Node<Stmt,Fact>>	SyncPDSSolver.asFieldFact(Node<Stmt,Fact> node)
abstract void	SyncPDSSolver.computeSuccessor(Node<Stmt,Fact> node)
W	OneWeightFunctions.normal(Node<Stmt,Fact> curr, Node<Stmt,Fact> succ)
W	WeightFunctions.normal(Node<Stmt,Fact> curr, Node<Stmt,Fact> succ)
void	SyncPDSUpdateListener.onReachableNodeAdded(Node<Stmt,Fact> reachableNode)
W	OneWeightFunctions.pop(Node<Stmt,Fact> curr)
W	WeightFunctions.pop(Node<Stmt,Fact> curr)
void	SyncPDSSolver.processNode(Node<Stmt,Fact> curr)
void	SyncPDSSolver.processNormal(Node<Stmt,Fact> curr, Node<Stmt,Fact> succ)
void	SyncPDSSolver.processPop(Node<Stmt,Fact> curr, PopNode popNode)
void	SyncPDSSolver.processPush(Node<Stmt,Fact> curr, Location location, PushNode<Stmt,Fact,?> succ, SyncPDSSolver.PDSSystem system)
void	SyncPDSSolver.propagate(Node<Stmt,Fact> curr, State s)
W	OneWeightFunctions.push(Node<Stmt,Fact> curr, Node<Stmt,Fact> succ, Field field)
W	WeightFunctions.push(Node<Stmt,Fact> curr, Node<Stmt,Fact> succ, Field field)
void	SyncPDSSolver.solve(Node<Stmt,Fact> curr, Field field, INode<Node<Stmt,Fact>> fieldTarget, Stmt stmt, INode<Fact> callTarget)
void	SyncPDSSolver.solve(Node<Stmt,Fact> curr, Field field, INode<Node<Stmt,Fact>> fieldTarget, Stmt stmt, INode<Fact> callTarget, W weight)
void	EmptyStackWitnessListener.witnessFound(Node<Stmt,Fact> targetFact)

Method parameters in sync.pds.solver with type arguments of type Node

Modifier and Type	Method	Description
void	SyncPDSSolver.addFieldRule(Rule<Field,INode<Node<Stmt,Fact>>,W> rule)
void	SyncPDSSolver.addGeneratedFieldState(GeneratedState<Node<Stmt,Fact>,Field> state)
void	WitnessListener.fieldWitness(Transition<Field,INode<Node<Stmt,Fact>>> transition)
INode<Node<Stmt,Fact>>	SyncPDSSolver.generateFieldState(INode<Node<Stmt,Fact>> d, Field loc)
protected boolean	SyncPDSSolver.preventFieldTransitionAdd(Transition<Field,INode<Node<Stmt,Fact>>> trans, W weight)
void	SyncPDSSolver.solve(Node<Stmt,Fact> curr, Field field, INode<Node<Stmt,Fact>> fieldTarget, Stmt stmt, INode<Fact> callTarget)
void	SyncPDSSolver.solve(Node<Stmt,Fact> curr, Field field, INode<Node<Stmt,Fact>> fieldTarget, Stmt stmt, INode<Fact> callTarget, W weight)

Constructors in sync.pds.solver with parameters of type Node

Constructor	Description
SyncStatePDSUpdateListener(Node<Stmt,Fact> node)

Uses of Node in sync.pds.solver.nodes

Subclasses of Node in sync.pds.solver.nodes

Modifier and Type	Class	Description
class	ExclusionNode<Stmt,Fact,Location>
class	PushNode<Stmt,Fact,Location>

Methods in sync.pds.solver.nodes that return Node

Modifier and Type	Method	Description
Node<Stmt,Fact>	NodeWithLocation.fact()

Uses of Node in sync.pds.weights

Methods in sync.pds.weights that return types with arguments of type Node

Modifier and Type	Method	Description
Collection<Node<Stmt,Fact>>	SetDomain.elements()

Constructors in sync.pds.weights with parameters of type Node

Constructor	Description
SetDomain(Node<Stmt,Fact> node)