Uses of Interface
sync.pds.solver.nodes.INode
-
Packages that use INode Package Description sync.pds.solver sync.pds.solver.nodes -
-
Uses of INode in sync.pds.solver
Fields in sync.pds.solver with type parameters of type INode Modifier and Type Field Description protected WeightedPAutomaton<Stmt,INode<Fact>,W>SyncPDSSolver. callAutomatonprotected WeightedPushdownSystem<Stmt,INode<Fact>,W>SyncPDSSolver. callingPDSprotected WeightedPAutomaton<Field,INode<Node<Stmt,Fact>>,W>SyncPDSSolver. fieldAutomatonprotected WeightedPushdownSystem<Field,INode<Node<Stmt,Fact>>,W>SyncPDSSolver. fieldPDSprotected Map<Map.Entry<INode<Fact>,Stmt>,INode<Fact>>SyncPDSSolver. generatedCallStateprotected Map<Map.Entry<INode<Fact>,Stmt>,INode<Fact>>SyncPDSSolver. generatedCallStateMethods in sync.pds.solver that return INode Modifier and Type Method Description INode<Node<Stmt,Fact>>SyncPDSSolver. asFieldFact(Node<Stmt,Fact> node)INode<Fact>SyncPDSSolver. generateCallState(INode<Fact> d, Stmt loc)INode<Node<Stmt,Fact>>SyncPDSSolver. generateFieldState(INode<Node<Stmt,Fact>> d, Field loc)protected INode<Fact>SyncPDSSolver. wrap(Fact variable)Methods in sync.pds.solver with parameters of type INode Modifier and Type Method Description INode<Fact>SyncPDSSolver. generateCallState(INode<Fact> d, Stmt loc)INode<Node<Stmt,Fact>>SyncPDSSolver. generateFieldState(INode<Node<Stmt,Fact>> d, Field loc)voidSyncPDSSolver. solve(Node<Stmt,Fact> curr, Field field, INode<Node<Stmt,Fact>> fieldTarget, Stmt stmt, INode<Fact> callTarget)voidSyncPDSSolver. solve(Node<Stmt,Fact> curr, Field field, INode<Node<Stmt,Fact>> fieldTarget, Stmt stmt, INode<Fact> callTarget, W weight)Method parameters in sync.pds.solver with type arguments of type INode Modifier and Type Method Description voidSyncPDSSolver. addCallRule(Rule<Stmt,INode<Fact>,W> rule)voidSyncPDSSolver. addFieldRule(Rule<Field,INode<Node<Stmt,Fact>>,W> rule)voidWitnessListener. callWitness(Transition<Stmt,INode<Fact>> t)voidWitnessListener. fieldWitness(Transition<Field,INode<Node<Stmt,Fact>>> transition)protected booleanSyncPDSSolver. preventCallTransitionAdd(Transition<Stmt,INode<Fact>> trans, W weight)protected booleanSyncPDSSolver. preventFieldTransitionAdd(Transition<Field,INode<Node<Stmt,Fact>>> trans, W weight)Constructor parameters in sync.pds.solver with type arguments of type INode Constructor Description SyncPDSSolver(boolean useCallSummaries, NestedWeightedPAutomatons<Stmt,INode<Fact>,W> callSummaries, boolean useFieldSummaries, NestedWeightedPAutomatons<Field,INode<Node<Stmt,Fact>>,W> fieldSummaries, int maxCallDepth, int maxFieldDepth, int maxUnbalancedCallDepth) -
Uses of INode in sync.pds.solver.nodes
Classes in sync.pds.solver.nodes that implement INode Modifier and Type Class Description classGeneratedState<L,N>classNodeWithLocation<Stmt,Fact,Location>classSingleNode<Fact>Methods in sync.pds.solver.nodes that return INode Modifier and Type Method Description INode<L>GeneratedState. node()Constructors in sync.pds.solver.nodes with parameters of type INode Constructor Description GeneratedState(INode<L> node, N loc)
-