Skip navigation links
A B C D E F G H I J L M N O P R S T U V W 

A

Action - Class in ru.ispras.retrascope.model.efsm
Sequence of Assignment statements.
Action(Assignment, boolean) - Constructor for class ru.ispras.retrascope.model.efsm.Action
Constructs object with the specified assignment.
Action(Assignment) - Constructor for class ru.ispras.retrascope.model.efsm.Action
Constructs non-concurrent object with the specified assignment.
Action(List<Assignment>, boolean) - Constructor for class ru.ispras.retrascope.model.efsm.Action
Constructs object with the specified list of assignments of the specified concurrency mode.
Action(List<Assignment>) - Constructor for class ru.ispras.retrascope.model.efsm.Action
Constructs non-concurrent object with the specified collection of assignments.
add(Entity) - Method in class ru.ispras.retrascope.basis.Arguments
 
add(Engine) - Method in class ru.ispras.retrascope.basis.EngineRegistry
Adds an engine into the configuration.
add(Entity) - Method in class ru.ispras.retrascope.basis.Entity
Adds a given entity to this one.
add(String) - Method in class ru.ispras.retrascope.basis.FileNames
Adds a given file name to the list.
add(Entity) - Method in class ru.ispras.retrascope.basis.FileNames
 
add(Entity) - Method in class ru.ispras.retrascope.basis.Void
 
add(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
Adds event.
add(Entity) - Method in class ru.ispras.retrascope.model.basis.Model
Adds the specified entity.
add(Statement) - Method in class ru.ispras.retrascope.model.basis.Module
 
add(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
Adds the specified statement as child to this object.
add(Statement, int) - Method in class ru.ispras.retrascope.model.basis.Statement
Adds the specified child statement to this statement at the specified position.
add(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
Adds the specified values to this descriptor.
add(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Adds value to this case statement object.
add(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
 
add(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
add(Entity) - Method in class ru.ispras.retrascope.model.gadd.GaddModel
Adds the specified entity.
add(Entity) - Method in class ru.ispras.retrascope.model.hldd.HlddModel
 
add(Hldd) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
Adds a HLDD to this process.
add(Entity) - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
 
add(Entity) - Method in class ru.ispras.retrascope.result.property.PropertyEntity
 
add(Entity) - Method in class ru.ispras.retrascope.result.test.SequenceModel
Adds the specified sequence model to this one.
add(Entity) - Method in class ru.ispras.retrascope.result.test.TestModel
Adds the specified test model to this one.
add(Entity) - Method in class ru.ispras.retrascope.result.usedef.UseDefEntity
 
addAll(Collection<Statement>) - Method in class ru.ispras.retrascope.model.basis.Statement
Adds all the statements from the specified list as children.
addAll(Collection<Statement>) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
 
addAll(Collection<Statement>) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
addAssertions(Map<String, ModuleProperty>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
Adds model properties to the visitor.
addAssignment(Assignment) - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
Adds assignment.
addAssignment(Assignment) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
addAssignment(Assignment) - Method in class ru.ispras.retrascope.model.efsm.Action
 
addAssignments(List<Assignment>) - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
Appends assignments list to the last assignment of this object.
addAssignments(List<Assignment>) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
addAssignments(List<Assignment>) - Method in class ru.ispras.retrascope.model.efsm.Action
 
addBackend(Backend) - Method in class ru.ispras.retrascope.basis.Engine
Adds back-end.
addBlockingNodes(Hldd, NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Adds the blocking condition to the specified phase variable HLDD.
addChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
 
addChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
addChild(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddNonTerminalNode
Adds the specified HlddNode to the children nodes.
addChildren(Collection<HlddNode>) - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
Adds the specified collection of HlddNode to the children of the node.
addClock(NodeVariable) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Add the specified object as clock-like variable for this model.
addClock(Event) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Adds the specified clock event to this object's collection.
addClock(String, NodeVariable) - Method in class ru.ispras.retrascope.model.gadd.GaddModel
Associate clock-like variable with the name-specified module.
addClocks(EventList) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Adds the specified clock events collection to the object's collection.
addContainer(ModuleProperty) - Method in class ru.ispras.retrascope.result.property.PropertyEntity
Adds non-null module-level property container.
addContainer(NodeVariable, UseDefContainer) - Method in class ru.ispras.retrascope.result.usedef.UseDefEntity
Adds the use/def conditions for the specified variable.
addEngine(Engine) - Method in class ru.ispras.retrascope.basis.ToolChain
Registers the given engine in the tool chain taking into account data dependencies.
addEvent(Event) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
Add the specified event which this process is sensible to.
addEvent(Event) - Method in class ru.ispras.retrascope.result.test.TestVector
Adds the specified event to the vector.
addEvents(Collection<? extends Event>) - Method in class ru.ispras.retrascope.model.basis.EventList
Adds a collection of events.
addEvents(EventList) - Method in class ru.ispras.retrascope.model.basis.EventList
Adds events from the specified collection to this one.
addEvents(EventList) - Method in class ru.ispras.retrascope.result.test.TestVector
Adds the specified events to this vector.
addExpression(Node) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
Adds an expression to the edge.
addExpressions(Collection<? extends Node>) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
Adds expressions to the edge.
addFileOutput(String) - Static method in class ru.ispras.retrascope.util.Log
Adds the file output to the log.
addInitialEfsm(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
Adds the specified EFSM into this module as so-called "initial EFSM" which must be simulated in the very beginning of this module simulation.
addInputType(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
Adds the given input type of the engine.
addInterface(String, DeclarationContainer) - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
Adds to interface storage the specified module's name and it's signal interface.
addMetaInfo(Enum<?>, Enum<?>) - Method in class ru.ispras.retrascope.basis.MetaInfo
Adds meta-information as a pair of the specified information type and information value.
addMetaInfo(Enum<?>, Object) - Method in class ru.ispras.retrascope.basis.MetaInfo
Adds meta-information as a pair of the specified information type and information value.
addMetaInfo(String, Object) - Method in class ru.ispras.retrascope.basis.MetaInfo
Adds meta-information as a pair of the specified information type and information value.
addMetaInfo(Map<String, Object>) - Method in class ru.ispras.retrascope.basis.MetaInfo
Add all the meta-information that is stored in the specified mapping.
addModule(Module) - Method in class ru.ispras.retrascope.model.basis.Model
Adds the specified module as a child one for this object.
addModuleProperty(ModuleProperty) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
Adds the specified module-level property container object.
addModules(Collection<? extends Module>) - Method in class ru.ispras.retrascope.model.basis.Model
Adds objects from the specified collection as children for this object.
addNode(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
Adds the specified node to the diagram.
addNonInitialEfsm(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
Adds the specified non-initial EFSM into this module.
addOption(String, String) - Method in class ru.ispras.retrascope.util.ToolTest
Adds option long name and, probably, it's value to the tool command line.
addOption(Parameter, String) - Method in class ru.ispras.retrascope.util.ToolTest
Adds command line parameter and, probably, it's value to the tool command line.
addOption(String) - Method in class ru.ispras.retrascope.util.ToolTest
Adds no-value option with the specified long name to the tool command line.
addOption(Parameter) - Method in class ru.ispras.retrascope.util.ToolTest
Adds no-value parameter to the tool command line.
addParameter(Parameter) - Method in class ru.ispras.retrascope.basis.Engine
Adds the given parameter to the engine.
addParameter(Parameter) - Method in class ru.ispras.retrascope.basis.Parameters
Adds a given option to the specification.
addProcessProperty(ProcessProperty) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
Adds the specified process-level property container object.
addProperty(Node) - Method in class ru.ispras.retrascope.model.basis.Module
Adds the specified module-level property.
addProperty(Node) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
Adds the specified process-level property.
addProperty(Node) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
Adds the specified expression that uses variables that are already declared at the parent container.
addProperty(Node) - Method in class ru.ispras.retrascope.result.property.ProcessProperty
Adds the specified expression that uses variables that are already declared at the parent container.
addResetGuardedAction(GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Adds the specified guarded action to this EFSM.
addSequence(Sequence) - Method in class ru.ispras.retrascope.result.test.Test
Adds the specified sequence to this test.
addState(Node) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Creates a new state based on the specified logical expression and adds it into this EFSM.
addState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Adds the specified state into this EFSM.
addTest(Test) - Method in class ru.ispras.retrascope.result.test.TestModel
Adds the specified test to this test model.
addTransaction(Transaction) - Method in class ru.ispras.retrascope.result.test.TestVector
Adds the specified transaction to this vector.
addTransition(EfsmState, EfsmState, GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Creates a new transition with the specified guarded action between the specified states and adds it into this EFSM.
addVariable(String, NodeValue) - Method in class ru.ispras.retrascope.result.test.Transaction
Adds a variable with the specified name and value to this transaction.
addVector(TestVector) - Method in class ru.ispras.retrascope.result.test.Sequence
Adds the specified vector to the end of this sequence.
addVectors(List<TestVector>) - Method in class ru.ispras.retrascope.result.test.Sequence
Adds the specified vectors to the end of this sequence.
addVersion(NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
Adds a version variable to the container.
addVersions(Versions) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
Adds the specified versions container to the registry.
addVersions(Collection<NodeVariable>) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
Adds a collection of version variables to the container.
addVisited(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Add statement identifiers from the specified collection to the storage of identifiers for statements that are already visited by this walker.
ALIGN_CENTER - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
ALIGN_LEFT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
ALIGN_RIGHT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
append(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
Appends the specified string to the output file.
appendLine(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
Appends the specified line to the output file.
appendLine() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
Appends an empty line to the output file.
apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.basis.Statement
Applies bindings to this statement.
apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
 
apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
 
apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
 
apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgModule
 
apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
 
apply(Map<String, Node>, Assignment) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Applies the specified bindings to the specified statement.
apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
applyToEventList(Map<String, Node>) - Method in class ru.ispras.retrascope.model.basis.EventList
Applies expressions to bounded event variables.
areCompatible(Node...) - Static method in class ru.ispras.retrascope.util.SolverUtils
Checks whether the specified logical expressions are compatible (getConjunction(nodes[0], ..., nodes[n-1]) is SAT).
areComplete(Node...) - Static method in class ru.ispras.retrascope.util.SolverUtils
Checks whether the specified logical expressions are complete (!getComplement(nodes[0], ..., nodes[n-1]) is SAT).
Arguments - Class in ru.ispras.retrascope.basis
This class represents command line parameters and implements command line parsing.
Arguments(Parameters) - Constructor for class ru.ispras.retrascope.basis.Arguments
Constructs an arguments entity with the given specification of parameters.
Arguments(Parameters, String...) - Constructor for class ru.ispras.retrascope.basis.Arguments
Constructs an arguments entity with the given specification of parameters.
Assignment - Class in ru.ispras.retrascope.model.basis
Assignment statement.
Assignment() - Constructor for class ru.ispras.retrascope.model.basis.Assignment
Default constructor.
Assignment(RangedVariable, Node) - Constructor for class ru.ispras.retrascope.model.basis.Assignment
Constructs object with the specified target variable and value expression.
Assignment(NodeVariable, Node) - Constructor for class ru.ispras.retrascope.model.basis.Assignment
Constructs object with the specified target non-ranged variable and value expression.
AssignmentContainer - Interface in ru.ispras.retrascope.model.basis
Container of assignments.
AtomicTestGenerator - Class in ru.ispras.retrascope.engine.basis
The class representing an atomic test generator, that is, test generator operating at the sequence-level instead of test-level.
AtomicTestGenerator() - Constructor for class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
 

B

Backend - Class in ru.ispras.retrascope.basis
The after-engine component.
Backend(String) - Constructor for class ru.ispras.retrascope.basis.Backend
Constructs backend with the specified name.
backtrack(List<EfsmTransition>) - Method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
Backtracks the specified path performing symbolic substitutions and returns an expression with cycle number-annotated variables that must be satisfied in order to traverse the path.
BfsWalker - Class in ru.ispras.retrascope.model.basis.walker
Breadth-first search model walker.
BfsWalker(ModelVisitor) - Constructor for class ru.ispras.retrascope.model.basis.walker.BfsWalker
Constructs walker object with the specified parameters.
BitVectorOpCodeMapper - Class in ru.ispras.retrascope.parser.vhdl.mapper
Mapping between logic and bit-vector operation identifiers.

C

CfgAssertBackend - Class in ru.ispras.retrascope.parser.basis.backend
Backend for the HDL parser that substitutes assert nodes by the equivalent statements.
CfgAssertBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgAssertBackend
 
CfgAssertStatement - Class in ru.ispras.retrascope.model.cfg
Assertion statement of control flow graph model.
CfgAssertStatement(Node, CfgAssertStatement.Severity, String) - Constructor for class ru.ispras.retrascope.model.cfg.CfgAssertStatement
Constructs assertion statement with the specified parameters.
CfgAssertStatement.Severity - Enum in ru.ispras.retrascope.model.cfg
Assertion statement severity levels.
CfgBfsWalker - Class in ru.ispras.retrascope.model.cfg
Control flow graph model walker running in breadth-first search mode.
CfgBfsWalker(CfgVisitor) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBfsWalker
Constructs walker object with the specified parameters..
CfgBlockSeqBackend - Class in ru.ispras.retrascope.parser.basis.backend
The control flow graph model visitor that transforms sequences of basic block nodes.
CfgBlockSeqBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgBlockSeqBackend
 
CfgBlockStatement - Class in ru.ispras.retrascope.model.cfg
Basic block node of process' control flow graph.
CfgBlockStatement(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
Constructs object of the specified type flag.
CfgBlockStatement(List<Assignment>, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
Constructs object with the specified assignments and the type flag.
CfgBlockStatement(Assignment, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
Constructs object with the specified assignment and the flag type.
CfgBlockStatement(List<Assignment>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
Constructs object with the specified collection of assignments.
CfgBlockStatement(Assignment) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
Constructs object with the specified assignment and of non-concurrent type.
CfgBlockStatement(RangedVariable, Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
Constructs object that contains one assignment with the specified target and value.
CfgBlockStatement(NodeVariable, Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
Constructs object that contains one assignment with the specified target and value.
CfgCaseData - Class in ru.ispras.retrascope.model.cfg
Control flow graph case statement's data descriptor.
CfgCaseData(EventList, Collection<NodeValue>, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
Constructs data descriptor with the specified parameters.
CfgCaseData(EventList, NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
Constructs data descriptor with the specified parameters.
CfgCaseData(EventList, Collection<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
Constructs data descriptor with the specified parameters.
CfgCaseData(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
Constructs data descriptor with the specified "free-of-values" value.
CfgCaseData(NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
Constructs data descriptor with the specified value.
CfgCaseData(CfgCaseData) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
Copy constructor.
CfgCaseStatement - Class in ru.ispras.retrascope.model.cfg
Case statement of control flow graph model.
CfgCaseStatement(EventList, NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Constructs the case statement with the specified parameters.
CfgCaseStatement(EventList, Collection<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Constructs the case statement with the specified parameters.
CfgCaseStatement(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Constructs case statement of the specified default type.
CfgCaseStatement(NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Constructs case statement with the specified value.
CfgCaseStatement(Collection<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Constructs case statement with the specified values.
CfgCaseStatement(CfgCaseData) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Constructs new statement with the specified data container.
CfgConditionStatement - Class in ru.ispras.retrascope.model.cfg
Sequential statement that is enhanced with condition.
CfgContext - Class in ru.ispras.retrascope.model.cfg
Auxiliary class for symbolic execution of block statements with the specified pre-condition.
CfgCPrinter - Class in ru.ispras.retrascope.engine.cfg.printer.c
Printer for CfgModel model to C programming language format.
CfgCPrinter() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
Default constructor.
CfgCVisitor - Class in ru.ispras.retrascope.engine.cfg.printer.c
Control flow graph visitor for C language printer.
CfgDependencyGraphMlPrinter - Class in ru.ispras.retrascope.engine.cfg.printer.graphml.depend
GraphML printer for dependencies in the Control Flow Graph model.
CfgDependencyGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
Constructs object with the specified identifier, input/output types, walkers.
CfgDependencyGraphVisitor - Class in ru.ispras.retrascope.engine.cfg.printer.graphml.depend
GraphML printer of CFG processes dependencies.
CfgDependencyGraphVisitor() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
Constructs dependency printer.
CfgDfsWalker - Class in ru.ispras.retrascope.model.cfg
Control flow graph model walker running in a depth-first search mode.
CfgDfsWalker(ModelVisitor, WalkerMode) - Constructor for class ru.ispras.retrascope.model.cfg.CfgDfsWalker
Constructs walker object with the specified parameters.
CfgEmptyCaseBackend - Class in ru.ispras.retrascope.parser.basis.backend
Parser backend that merges empty case statements of one switch statement.
CfgEmptyCaseBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgEmptyCaseBackend
 
CfgEmptyVisitor - Class in ru.ispras.retrascope.model.cfg
An empty visitor for control flow graph model.
CfgEmptyVisitor() - Constructor for class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
CfgEventListToNodeBackend - Class in ru.ispras.retrascope.parser.basis.backend
Backend for the HDL parser that transforms processes' event lists EventList into top level CfgSwitchStatement switch statements.
CfgEventListToNodeBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgEventListToNodeBackend
 
CfgGaddTransformer - Class in ru.ispras.retrascope.engine.cfg.transformer.gadd
Transformer from CfgModel to GaddModel model.
CfgGaddTransformer() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformer
Default constructor.
CfgGraphMlPrinter - Class in ru.ispras.retrascope.engine.cfg.printer.graphml
Control flow graph printer to GraphML format.
CfgGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
Default constructor.
CfgGraphMlVisitor - Class in ru.ispras.retrascope.engine.cfg.printer.graphml
Control flow graph visitor for GraphML printer.
CfgInitialProcessBackend - Class in ru.ispras.retrascope.parser.basis.backend
HDL parser backend that removes initial processes from model but keeps their data.
CfgInitialProcessBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgInitialProcessBackend
 
CfgInterface - Class in ru.ispras.retrascope.result.cfginterface
Control flow graph model interface.
CfgInterface() - Constructor for class ru.ispras.retrascope.result.cfginterface.CfgInterface
Default constructor.
CfgInterfaceExtractor - Class in ru.ispras.retrascope.engine.cfg.extractor.iface
Interface extractor for control flow graph model.
CfgInterfaceExtractor() - Constructor for class ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor
Default constructor.
CfgLoopBackend - Class in ru.ispras.retrascope.parser.basis.backend
The control flow graph model visitor that detects loops or cycles and transforms them.
CfgLoopBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
CfgLoopStatement - Class in ru.ispras.retrascope.model.cfg
Loop statement for control flow graph node.
CfgLoopStatement(CfgLoopStatement.Type, Node, Assignment, Assignment) - Constructor for class ru.ispras.retrascope.model.cfg.CfgLoopStatement
Constructs loop statement with the specified parameters.
CfgLoopStatement.Type - Enum in ru.ispras.retrascope.model.cfg
Loop statement types.
CfgModel - Class in ru.ispras.retrascope.model.cfg
Control flow graph model.
CfgModel() - Constructor for class ru.ispras.retrascope.model.cfg.CfgModel
Default constructor.
CfgModule - Class in ru.ispras.retrascope.model.cfg
Module of control flow graph model.
CfgModule(String) - Constructor for class ru.ispras.retrascope.model.cfg.CfgModule
Constructs object with the specified name.
CfgModule(Module) - Constructor for class ru.ispras.retrascope.model.cfg.CfgModule
Constructs the object that copies data from thw specified one.
CfgOneBlockProcessBackend - Class in ru.ispras.retrascope.parser.basis.backend
Backend for HdlParser engine that detects one-basic-block processes and transforms them.
CfgOneBlockProcessBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgOneBlockProcessBackend
 
CfgProcess - Class in ru.ispras.retrascope.model.cfg
Process of control flow graph model.
CfgProcess() - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
Default constructor.
CfgProcess(String, EventList, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
Constructs new process with specified parameters.
CfgProcess(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
Constructs new process with the specified value of initial flag.
CfgProcess(EventList) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
Constructs new process with the specified sensitivity list of events.
CfgProcess(ModuleProcess) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
Constructs the object that copies the data of the specified one.
CfgRandomTestGenerator - Class in ru.ispras.retrascope.engine.cfg.generator.test.random
Random test generator for Control Flow Graph model.
CfgRandomTestGenerator() - Constructor for class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Default constructor.
CfgRangedSwitchBackend - Class in ru.ispras.retrascope.parser.basis.backend
Parser backend that transforms sequences of switch statements with ranged variables in conditions.
CfgRangedSwitchBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgRangedSwitchBackend
 
CfgSsaBlockVisitor - Class in ru.ispras.retrascope.engine.cfg.transformer.gadd
The SSA transformer component that collects basic block statements in accordance with their blocking\concurrent nature.
CfgStatement - Class in ru.ispras.retrascope.model.cfg
Basic class for control flow graph model statements.
CfgStatementType - Enum in ru.ispras.retrascope.model.cfg
Control flow graph model nodes types.
CfgStatisticBackend - Class in ru.ispras.retrascope.parser.basis.backend
Backend for the HDL parser that gathers statistic information about the module under consideration.
CfgStatisticBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgStatisticBackend
 
CfgSwitchSequenceBackend - Class in ru.ispras.retrascope.parser.basis.backend
Control flow graph model visitor that detects and transforms sequences of switch nodes.
CfgSwitchSequenceBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
CfgSwitchStatement - Class in ru.ispras.retrascope.model.cfg
Switch statement of control flow graph model.
CfgSwitchStatement(Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
Constructs an object with the specified condition.
CfgUtils - Class in ru.ispras.retrascope.model.cfg
Utility methods for control flow graph model and it's components.
CfgVarRangeBlockBackend - Class in ru.ispras.retrascope.parser.basis.backend
Parser backend that transforms assignments with variable ranges into control flow sub-graphs that contain assignments with constant ranges only.
CfgVarRangeBlockBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgVarRangeBlockBackend
 
CfgVisitor - Interface in ru.ispras.retrascope.model.cfg
Control flow graph model visitor.
CfgVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
Base class for control flow graph model visitor-based back-ends.
CfgVisitorBackend(String, CfgVisitor, WalkerMode) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
Creates object with the specified model visitor.
CfgWaitBackend - Class in ru.ispras.retrascope.parser.basis.backend
Control flow graph model visitor that detects and transforms wait nodes.
CfgWaitBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
Default constructor.
CfgWaitStatement - Class in ru.ispras.retrascope.model.cfg
Wait statement of the control flow graph model.
CfgWaitStatement(EventList, Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
Constructs the statement with the specified events and condition fields.
CfgWaitStatement(EventList) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
Constructs the statement with the specified events.
CfgWaitStatement(Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
Constructs the statement with the specified condition field.
CHECK_METHOD - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinter
The model checking method command line parameter.
CHECK_METHOD - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
Model checking method parameter.
chooseNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.EfsmTransitionChooser
Chooses and returns a transition for traversing.
chooseNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.NearUncoverChooser
Chooses and returns a transition for traversing.
chooseNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.RandomEfsmTransitionChooser
Chooses and returns a transition for traversing.
chooseNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.SemiRandomEfsmTransitionChooser
Chooses and returns a transition for traversing.
clear() - Method in class ru.ispras.retrascope.model.basis.EventList
Removes all the internal events.
clear(File) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
Clears the specified existing file.
clear() - Method in class ru.ispras.retrascope.util.SatSolver
Clear solver's internal data.
clearEvents(Collection<NodeVariable>) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
Removes all the events that are related on the variables from the specified collection.
CLK_LVL - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Active level of clock signal.
CLK_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Name of clock signal.
clockFree() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Checks whether this object does not contain clocks.
closeFileHandlers() - Static method in class ru.ispras.retrascope.util.Log
Closes all file handlers which are associated with the Retrascope root logger.
closeGraphMlFile(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Close graphml file.
closeGroup(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Close group node.
CLV_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformer
The 'clock variable name' command line parameter.
COLLECT_USEDEF - Static variable in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddTransformer
 
collectAssignments(NodeVariable, NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
Searches for and assigns the values of the specified right-hand side variable to the specified original variable.
collectCoverage(TestModel, EfsmModel) - Static method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulatorUtils
Collect EFSM transition coverage information for the specified test model on the specified EFSM model.
COLOR_BLUE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
COLOR_GRAY - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
COLOR_GREEN - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
COLOR_LIGHT_GRAY - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
COLOR_ORANGE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
COLOR_PURPLE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
COLOR_RED - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
COLOR_YELLOW - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
COMMAND_FILE - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
 
compareTo(EntityType) - Method in class ru.ispras.retrascope.basis.EntityType
 
compareVariablesByName(NodeVariable, NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Compares the specified variable names.
compatibleWith(EventList) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks if this object is compatible with the specified one.
Configuration - Class in ru.ispras.retrascope.basis
This class implements tool Retrascope configuration.
Configuration() - Constructor for class ru.ispras.retrascope.basis.Configuration
 
configure(String...) - Method in class ru.ispras.retrascope.basis.Configuration
Configures this object using command line arguments.
configureVisitor(Map<EntityType, Entity>, Arguments, HlddVisitor) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddSmvPrinterBase
 
configureVisitor(Map<EntityType, Entity>, Arguments, HlddVisitor) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
 
configureVisitor(Map<EntityType, Entity>, Arguments, HlddVisitor) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinter
 
configureVisitor(Map<EntityType, Entity>, Arguments, HlddVisitor) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvPrinter
 
configureVisitor(Map<EntityType, Entity>, Arguments, HlddVisitor) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvPrinter
 
constructBlockingVarHldd(Module, NodeVariable, NodeVariable, Map<ModuleProcess, NodeVariable>) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Constructs the blocking variable HLDD using the specifed parameters.
contains(Parameter) - Method in class ru.ispras.retrascope.basis.Arguments
Checks whether the given parameter is specified.
contains(NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
Indicates whether the registry contains the specified variable.
contains(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks whether this object contains the specified event.
contains(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks whether this object contains an event on the specified variable.
contains(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
Checks whether this statement contains the specified as the child.
containsEmptyModules(HlddModel) - Static method in class ru.ispras.retrascope.model.hldd.HlddModelUtils
Checks whether the model contains empty modules.
containsInitialValue() - Method in class ru.ispras.retrascope.model.basis.Declaration
Checks whether object contains it's initial value.
containsInput(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Checks whether this object contain input signal variable with the specified name.
containsInvariant() - Method in class ru.ispras.retrascope.model.basis.Declaration
Checks whether object contains invariant.
containsOutput(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Checks whether this object contains output signal variable with the specified name.
containsRegister(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Checks whether this object contains internal variable with the specified name.
containsState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Checks if the specified state is in this EFSM.
containStatements() - Method in class ru.ispras.retrascope.model.basis.Statement
Checks whether this statement contains any other embedded statements.
containsVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Checks does this object contain the specified variable.
containsVariable(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Checks whether object contains a variable with the specified name.
containsVariable(String) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
containsVariable(String) - Method in class ru.ispras.retrascope.result.test.TestVector
Checks if the specified variable is in this vector.
containsVariable(String) - Method in class ru.ispras.retrascope.result.test.Transaction
Checks if the specified variable is in this transaction.
createGuardHldd(Node, NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Constructs a one-node HLDD from the specified switch node and the corresponding guard variable.
CROPPING_TEXT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
currentModule - Variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
currentPhaseVars - Variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 

D

data - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable
 
DBG_PREFIX - Static variable in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddPathCounterBackend
The beginning of backend's debug writes.
deactivateBackends(String...) - Method in class ru.ispras.retrascope.basis.Engine
Deactivates back-ends with the specified names.
deannotateInputs(Iterable<Variable>) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
Analyses cycle number-annotated variables and returns mappings between cycle numbers and corresponding variables' values.
deannotateName(String) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
Deannotates the specified cycle number-annotated name.
debug(String, Object...) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified objects in the specified format at the debug logging level.
DEBUG - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level for information for debugging.
debugWrite(String) - Method in class ru.ispras.retrascope.basis.Backend
Writes the line to the backend's debug file.
debugWrite(String) - Method in class ru.ispras.retrascope.basis.Engine
Writes the line to the engine's debug file.
debugWrite(String, Object...) - Method in class ru.ispras.retrascope.basis.Engine
Writes the line to the engine's debug file.
Declaration - Class in ru.ispras.retrascope.model.basis
Variable declaration.
Declaration(Node, Range) - Constructor for class ru.ispras.retrascope.model.basis.Declaration
Constructs an object with the specified initial value and it's invariant.
Declaration(Declaration) - Constructor for class ru.ispras.retrascope.model.basis.Declaration
Creates a copy of the specified declaration object.
DeclarationContainer - Class in ru.ispras.retrascope.model.basis
The variables and their declarations container.
DeclarationContainer() - Constructor for class ru.ispras.retrascope.model.basis.DeclarationContainer
Default constructor.
DeclarationContainer(Map<NodeVariable, Declaration>) - Constructor for class ru.ispras.retrascope.model.basis.DeclarationContainer
Constructs the object with the specified data.
DeclarationUtils - Class in ru.ispras.retrascope.model.basis
Variable declarations related utility methods.
declareNewVariable(DataType) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Declares new variable of the specified data type.
declares(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Checks does this object contain the specified variable.
declares(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Checks whether object contains a variable with the specified name.
declaresInput(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Checks whether this object contain input signal variable with the specified name.
declaresOutput(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Checks whether this object contain output signal variable with the specified name.
declaresRegister(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Checks whether this object contain register variable with the specified name.
declareVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Declares non-existing variable.
declareVariable(NodeVariable, Node) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Declares the specified variable with the specified initial value.
declareVariable(NodeVariable, Range) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Declares the specified variable with the specified invariant.
declareVariable(NodeVariable, Node, Range) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Declares the specified variable with the specified initial value and the specified invariant.
declareVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Declares non-existing variable.
declareVariable(NodeVariable, Node) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Declares the specified variable with the specified initial value.
declareVariable(NodeVariable, Range) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Declares the specified variable with the specified invariant.
declareVariable(NodeVariable, Node, Range) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Declares the specified variable with the specified initial value and the specified invariant.
declareVariable(NodeVariable, Declaration) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Declares the specified variable with the related data.
declareVariables(Map<NodeVariable, Declaration>) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Declares all the variables from the specified mapping.
declareVariables(Map<NodeVariable, Declaration>) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Declares the specified collection of variables.
DecStatement - Class in ru.ispras.retrascope.model.basis
Statement that contains variable declarations.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns the deep copy of the object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.Event
Returns a deep copy of this object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.EventList
Returns a deep copy of this object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.Statement
Returns a copy of this statement and all it's sub-statements.
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgModule
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.efsm.Action
Creates a completely independent copy of this object.
deepCopy() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns a deep copy of the object.
deepCopy() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
 
deepCopy() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
Returns a deep copy of the state.
deepCopy() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
Returns a deep copy of the transition object.
deepCopy() - Method in class ru.ispras.retrascope.model.efsm.Guard
Returns a deep copy of the object.
deepCopy() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns a deep copy of the object.
deepCopy() - Method in class ru.ispras.retrascope.model.hldd.Hldd
Returns a deep copy of the diagram using the specified associated variable.
deepCopy() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
 
deepCopy() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
deepCopy() - Method in class ru.ispras.retrascope.model.hldd.HlddModule
 
deepCopy() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Makes a deep copy of the node.
deepCopy() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
 
deepCopy() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
 
DEFAULT_BOUND - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
Default bounded model checking bound.
defines(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
Checks whether the engine defines an entity of the given type.
DELETE_UNUSED - Static variable in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddTransformer
Delete unused variables parameter.
DfsWalker - Class in ru.ispras.retrascope.model.basis.walker
Depth-first search model walker.
DfsWalker(ModelVisitor, WalkerMode) - Constructor for class ru.ispras.retrascope.model.basis.walker.DfsWalker
Constructs walker object with the specified parameters.
DISABLE_BACKENDS - Static variable in class ru.ispras.retrascope.basis.Engine
 
disableAllBackends() - Method in class ru.ispras.retrascope.basis.Engine
Disables all the engine back ends.

E

Efsm - Class in ru.ispras.retrascope.model.efsm
Extended finite state machine.
Efsm(EfsmModule, String) - Constructor for class ru.ispras.retrascope.model.efsm.Efsm
Constructs an empty EFSM with the specified name and parent module.
Efsm.TransitionWeightBasis - Enum in ru.ispras.retrascope.model.efsm
Transition weight types.
EfsmDfsWalker - Class in ru.ispras.retrascope.model.efsm
The EFSM walker.
EfsmDfsWalker(EfsmVisitor) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmDfsWalker
Constructs an EFSM walker for the specified visitor.
EfsmEmptyVisitor - Class in ru.ispras.retrascope.model.efsm
An empty visitor for EfsmModel.
EfsmEmptyVisitor() - Constructor for class ru.ispras.retrascope.model.efsm.EfsmEmptyVisitor
 
EfsmFatePlusTestGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
The test generator for EFSM-based hardware models based on the algorithm described in the article Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.
EfsmFatePlusTestGenerator() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFatePlusTestGenerator
Constructs a generator.
EfsmFateTestGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
The test generator for EFSM-based hardware models based on the algorithm described in the article Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.
EfsmFateTestGenerator() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator
Constructs a generator.
EfsmGraphMlPrinter - Class in ru.ispras.retrascope.engine.efsm.printer.graphml
EFSM printer to GraphML format.
EfsmGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
The default constructor.
EfsmGraphMlVisitor - Class in ru.ispras.retrascope.engine.efsm.printer.graphml
EFSM visitor for GraphML printer.
EfsmGraphMlVisitor() - Constructor for class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
Default constructor.
EfsmModel - Class in ru.ispras.retrascope.model.efsm
The ordered container for EFSM modules.
EfsmModel() - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
Creates an empty EFSM model.
EfsmModel(EfsmModule) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
Creates an EFSM model containing the specified EFSM module.
EfsmModel(Collection<EfsmModule>) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
Creates an EFSM model containing the specified EFSM modules.
EfsmModelSimulator - Class in ru.ispras.retrascope.engine.efsm.simulator
The simulator for EfsmModel.
EfsmModelSimulator() - Constructor for class ru.ispras.retrascope.engine.efsm.simulator.EfsmModelSimulator
Creates a simulator.
EfsmModule - Class in ru.ispras.retrascope.model.efsm
The EFSM representation of an HDL module.
EfsmModule(String) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModule
Constructs the object with the specified name.
EfsmModule(Module) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModule
Constructs the object that copies data from thw specified one.
EfsmModuleState - Class in ru.ispras.retrascope.model.efsm
A state of an extended finite state machine module.
EfsmModuleState(Collection<State>) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModuleState
Constructs an EFSM module state on the basis of states of the module's components.
EfsmSimulator - Class in ru.ispras.retrascope.engine.efsm.simulator
The EFSM-based representation of a hardware model which encapsulates a runtime state along with a static structure of an original device.
EfsmSimulatorUtils - Class in ru.ispras.retrascope.engine.efsm.simulator
Utility methods targeted at EFSM model simulation features.
EfsmState - Class in ru.ispras.retrascope.model.efsm
A state of an extended finite state machine.
EfsmState(Node) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmState
Constructs a state represented by the specified expression.
EfsmState(Node, Integer) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmState
Constructs the state with the specified expression and phase value.
EfsmTestGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test
The test generator engine for EFSM-based hardware models.
EfsmTestGenerator() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
Constructs a generator.
EfsmTransition - Class in ru.ispras.retrascope.model.efsm
The guarded action-based representation of a transition of an extended finite state machine.
EfsmTransition(EfsmState, EfsmState, GuardedAction) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmTransition
Constructs a transition between the specified states with the specified guarded action.
EfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
The abstract class representing an heuristic for choosing EFSM transitions to traverse.
EfsmTransitionChooser() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.EfsmTransitionChooser
 
EfsmTransitionCoverage - Class in ru.ispras.retrascope.result.test.efsm
The representation of a transition-based coverage of an EFSM.
EfsmTransitionCoverage() - Constructor for class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Constructs an empty coverage.
EfsmTransitionCoverage(Efsm) - Constructor for class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Constructs a new coverage representation for the specified EFSM.
EfsmTransitionCoverage(EfsmTransitionCoverage) - Constructor for class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Constructs a new coverage as a copy of the specified coverage.
EfsmTransitionPropertyExtractor - Class in ru.ispras.retrascope.engine.efsm.extractor.property
Engine that extracts transition properties from EFSM models.
EfsmTransitionPropertyExtractor() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyExtractor
Default constructor.
EfsmTransitionPropertyVisitor - Class in ru.ispras.retrascope.engine.efsm.extractor.property
Visitor for EfsmTransitionPropertyExtractor.
EfsmTransitionPropertyVisitor() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyVisitor
 
EfsmUtils - Class in ru.ispras.retrascope.model.efsm
Utility methods for extended finite state machine model and it's components.
EfsmVisitor - Interface in ru.ispras.retrascope.model.efsm
The interface for EFSM visitors.
EmptyTestVisitor - Class in ru.ispras.retrascope.result.test
An empty visitor for Test objects.
EmptyTestVisitor() - Constructor for class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
enableAllBackends() - Method in class ru.ispras.retrascope.basis.Engine
Enables all the engine back ends.
enableGuardedAction(GuardedAction, EventList, Map<String, NodeValue>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Generates an input vector to enable the specified guarded action considering the specified fixed events and inputs.
Engine - Class in ru.ispras.retrascope.basis
This is a base class of an engine (tool) that transforms one Entity entity to another.
Engine(String) - Constructor for class ru.ispras.retrascope.basis.Engine
Constructs an engine.
Engine(String, EntityType, EntityType) - Constructor for class ru.ispras.retrascope.basis.Engine
Constructs an engine.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
Engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformer
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyExtractor
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
The engine ID of all EfsmTestGenerator instances.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFatePlusTestGenerator
The engine ID of all EfsmFateTestGenerator instances.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator
The engine ID of all EfsmFateTestGenerator instances.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddPropertyExtractor
 
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.gadd.printer.graphml.GaddGraphMlPrinter
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddTransformer
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
The engine ID.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinter
The engine ID.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvPrinter
 
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvPrinter
 
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
The engine ID.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.smv.test.parser.SmvTestParser
The engine ID.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.parser.verilog.VerilogParser
The entity identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.parser.vhdl.VhdlParser
The engine identifier.
ENGINE_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
EngineEventHandler - Interface in ru.ispras.retrascope.basis
This is an engine event handler interface.
EngineRegistry - Class in ru.ispras.retrascope.basis
This class implements an Engine engine registry.
EngineRegistry() - Constructor for class ru.ispras.retrascope.basis.EngineRegistry
 
Entity - Class in ru.ispras.retrascope.basis
This is a base class of an entity, which is a collection of data that can be processed by some Engine engine(s).
Entity(EntityType) - Constructor for class ru.ispras.retrascope.basis.Entity
Constructs an entity with a given type.
EntityType - Class in ru.ispras.retrascope.basis
This class represents an entity identifier.
equals(Object) - Method in class ru.ispras.retrascope.basis.Engine
 
equals(Object) - Method in class ru.ispras.retrascope.basis.Entity
 
equals(Object) - Method in class ru.ispras.retrascope.basis.EntityType
 
equals(Object) - Method in class ru.ispras.retrascope.basis.FileNames
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.Assignment
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.Event
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.EventList
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.Statement
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
 
equals(Object) - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
 
equals(Object) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
equals(Object) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
 
equals(Object) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
 
equals(Object) - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
 
equals(Object) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
 
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.Action
 
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
 
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
 
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmModuleState
 
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmState
 
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
Compares the specified object with this transition for equality.
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.Guard
 
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
 
equals(Object) - Method in class ru.ispras.retrascope.model.gadd.Phase
 
equals(Object) - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
 
equals(Object) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
equals(Object) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
 
equals(Object) - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
 
equals(Object) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
 
equals(Object) - Method in class ru.ispras.retrascope.result.property.ProcessProperty
 
equals(Object) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Compares the specified object with this coverage for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.test.Sequence
 
equals(Object) - Method in class ru.ispras.retrascope.result.test.SequenceModel
 
equals(Object) - Method in class ru.ispras.retrascope.result.test.Test
Compares the specified object with this test for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.test.TestModel
 
equals(Object) - Method in class ru.ispras.retrascope.result.test.TestVector
Compares the specified object with this vector for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.test.Transaction
Compares the specified object with this transaction for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.testbench.Testbench
 
error(String, Object...) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified objects in the specified format at the error logging level.
ERROR - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level indicating a serious failure.
Event - Class in ru.ispras.retrascope.model.basis
Variable (signal) occurrence.
Event(RangedVariable, EventType) - Constructor for class ru.ispras.retrascope.model.basis.Event
Constructs an object with the specified variable and event type.
Event(NodeVariable, EventType) - Constructor for class ru.ispras.retrascope.model.basis.Event
Constructs the event object with the specified variable and type.
Event(RangedVariable) - Constructor for class ru.ispras.retrascope.model.basis.Event
Constructs an object with the specified variable and of any edge event type.
EventList - Class in ru.ispras.retrascope.model.basis
Collection of events.
EventList() - Constructor for class ru.ispras.retrascope.model.basis.EventList
Default constructor.
EventList(Event) - Constructor for class ru.ispras.retrascope.model.basis.EventList
Constructs object from the specified event object.
EventList(Collection<Event>) - Constructor for class ru.ispras.retrascope.model.basis.EventList
Constructs object with the specified events collection.
eventsToNode(EventList) - Static method in class ru.ispras.retrascope.model.basis.ModelUtils
Transforms the specified events container to the node.
EventType - Enum in ru.ispras.retrascope.model.basis
Event types.
exception(Enum<?>, Object) - Static method in exception ru.ispras.retrascope.basis.exception.RetrascopeException
Creates an exception object with message containing the specified prefix and an information about the specified object.
exception(Enum<?>, Class) - Static method in exception ru.ispras.retrascope.basis.exception.RetrascopeException
Creates an exception object with message starting from the specified prefix and giving an information about the specified class.
exists(String) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
Checks whether the file with the specified name exists.

F

FileCreator - Class in ru.ispras.retrascope.basis
This class implements utility methods for creating files (with engine results).
FileNames - Class in ru.ispras.retrascope.basis
This class represents a collection of file names.
FileNames(String) - Constructor for class ru.ispras.retrascope.basis.FileNames
Constructs a file names entity for a given type.
fillExpression(Node, Map<String, NodeValue>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Fills the specified expression with the specified inputs and current values of inner variables.
FIRST_FILE_MODULE - Static variable in class ru.ispras.retrascope.parser.basis.HdlParser
Parameter that assigns top level module name by the name of the first input HDL file.
FONT_BOLD - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FONT_BOLDITALIC - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FONT_ITALIC - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_DIAMOND - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_ELLIPSE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_OCTAGON - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_PARALLELOGRAM - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_RECTANGLE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_TRAPEZOID - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_TRAPEZOID2 - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_TRIANGLE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORMAT - Static variable in class ru.ispras.retrascope.Retrascope
 
FORMULA_BASED - Static variable in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddTransformer
Use formula based visitor parameter.

G

GaddClockDetectBackend - Class in ru.ispras.retrascope.engine.cfg.transformer.gadd.backend
Component that detects clock-like variables in the GaddModel model.
GaddClockDetectBackend() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddClockDetectBackend
 
GaddEfsmTransformer - Class in ru.ispras.retrascope.engine.gadd.transformer.efsm
The transformer of GaddModel model into EfsmModel model.
GaddEfsmTransformer() - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer
Default constructor.
GaddGraphMlPrinter - Class in ru.ispras.retrascope.engine.gadd.printer.graphml
Printer for GaddModel model to GraphML format.
GaddGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.gadd.printer.graphml.GaddGraphMlPrinter
Default constructor.
GaddHlddFormulaVisitor - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.formula
This visitor constructs a formula-based HLDD from a GADD.
GaddHlddFormulaVisitor() - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
Constructs a visitor.
GaddHlddTransformer - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd
This engine transforms the GADD model into the HLDD model.
GaddHlddTransformer() - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddTransformer
Constructs a new engine.
GaddHlddUtils - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd
This class contains some methods that are used in gadd-to-hldd transformation process.
GaddModel - Class in ru.ispras.retrascope.model.gadd
Guarded Actions Decision Diagram (i.e.
GaddModel(CfgModel, Map<ModuleProcess, Graph<Phase, PhaseSeqEdge>>) - Constructor for class ru.ispras.retrascope.model.gadd.GaddModel
Constructs an object with the specified parameters.
GaddPathCounterBackend - Class in ru.ispras.retrascope.engine.cfg.transformer.gadd.backend
Transformer component that calculates the number of model paths.
GaddPathCounterBackend() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddPathCounterBackend
 
GaddPropertyExtractor - Class in ru.ispras.retrascope.engine.gadd.extractor.property
This engine extracts the use/def properties from the GaddModel model.
GaddPropertyExtractor() - Constructor for class ru.ispras.retrascope.engine.gadd.extractor.property.GaddPropertyExtractor
Constructs a new engine.
GaddUseDefVisitor - Class in ru.ispras.retrascope.engine.gadd.extractor.property
 
GaddUseDefVisitor() - Constructor for class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
 
generateTest() - Method in class ru.ispras.retrascope.engine.basis.TestGenerator
Generates and returns a test.
get(String) - Static method in class ru.ispras.retrascope.basis.EntityType
Returns the entity type with the given identifier.
getAction() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns action.
getActionUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns variables that are used in Action action.
getAdditionalFiles() - Method in class ru.ispras.retrascope.result.testbench.Testbench
Returns additional files (for example, test pattern and library files) related to this testbench.
getAllMetaInfo() - Method in class ru.ispras.retrascope.basis.MetaInfo
Returns all the meta-information that is stored in this object.
getAllVersions() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
Returns all versions of all variables.
getArguments() - Method in class ru.ispras.retrascope.basis.Arguments
Returns the unparsed part of the command line (typically, list of files).
getArray() - Method in class ru.ispras.retrascope.basis.FileNames
Returns the file names (as an array).
getArrayElement(NodeVariable, Node) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionUtils
Creates a variable that represents an array item using the specified array variable and the index value.
getArraySize(NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Returns the specified array size (for one-dimensional arrays).
getAscending() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns "'ascending" field value.
getAssignedValue() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
Returns the assigned expression.
getAssignedVariables() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
Returns the variables that are assigned in this process.
getAssignmentMap(Collection<Assignment>, VersionRegistry, boolean) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionUtils
Creates a variable-assigned value map from the specified collection of assignments.
getAssignments() - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
Returns all assignments.
getAssignments() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
getAssignments() - Method in class ru.ispras.retrascope.model.efsm.Action
 
getAssignments() - Method in class ru.ispras.retrascope.result.test.TestVector
Returns assignments.
getBackends() - Method in class ru.ispras.retrascope.basis.Engine
Returns the list of back-ends.
getBase() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns "'base" field value.
getBeginSubListSequences(Collection<Sequence>, Sequence) - Static method in class ru.ispras.retrascope.result.test.TestModelUtils
Returns the collection of objects from the specified collection that have common sub-list at the beginning of the specified object.
getBitVectorDelim() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns the string delimiter for bit vector variable declaration.
getBitVectorDelim() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getBitVectorDelim() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getBitVectorPrefix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns the string prefix for bit vector variable declaration.
getBitVectorPrefix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getBitVectorPrefix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getBitVectorSuffix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns the string suffix for bit vector variable declaration.
getBitVectorSuffix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getBitVectorSuffix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getBmcBound() - Static method in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
Returns the current value of the bound for bounded model checking.
getCfgCaseData() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Returns the data descriptor for this statement.
getChecker() - Static method in class ru.ispras.retrascope.util.SmvChecker
Returns the checker instance.
getCheckerVariables() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefCheckerVisitor
 
getChild() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
Returns the child node.
getChildren() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
 
getChildren() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
getChildren() - Method in interface ru.ispras.retrascope.model.hldd.HlddNonTerminalNode
Returns the children nodes.
getClock() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddClockedVisitorBase
 
getClock() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
 
getClock() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvVisitor
 
getClock() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvVisitor
 
getClock(String) - Method in class ru.ispras.retrascope.model.gadd.GaddModel
Returns the clock-like variable that is associated with module that has the specified name.
getClock() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
Returns clock-like variable of the top-level container.
getClockAssignment(NodeVariable, Collection<NodeVariable>, SmvExprPrinter) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Generates clock assignment.
getClockGuardNode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns a conjunction of guard's node and a node formed by clock events.
getClockNode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns a node that is formed by clock events.
getClocks() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns clock-like variables related to this model.
getClocks() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns clock events.
getCommandLine() - Method in class ru.ispras.retrascope.basis.Arguments
Returns the command line having been set before.
getCondition() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
Returns condition.
getCondition() - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
Returns Node condition.
getCondition() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
Returns loop counter condition.
getConditionEquation() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
Returns this edge's branch equation using parent condition node.
getConfiguration() - Static method in class ru.ispras.retrascope.Retrascope
Returns the tool configuration.
getConstant(Data) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Returns Data description in SMV format.
getConstraintDescription(SmvExprPrinter.ConstraintType, Collection<Node>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Returns the description of a constraint in SMV format using the given SmvExprPrinter.ConstraintType and the collection of nodes.
getContainerMap() - Method in class ru.ispras.retrascope.result.property.PropertyEntity
Returns module-level property containers mapping.
getContext() - Method in class ru.ispras.retrascope.model.cfg.CfgContext
 
getConvertFunctionMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns mapping from data type string description to "string-to" conversion functions names.
getConvertFunctionMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getConvertFunctionMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getCounterexampleCount() - Method in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
Returns the number of counterexamples found after model checking.
getCounterexamples() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
Returns the number of counterexamples generated during model checking.
getCoverage() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
Returns a test coverage achieved by this simulator since the last reset (if any).
getCoverage() - Method in class ru.ispras.retrascope.engine.basis.TestGenerator
Returns a coverage achieved by this generator.
getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns a test coverage reached during simulation since last reset.
getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
getCoverage(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
Returns a coverage of the specified EFSM.
getCovered() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Returns all covered transitions in this coverage.
getCurrentState() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
Returns a state of an underlying model which this simulator is currently in.
getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns a state of an underlying EFSM which this simulator is currently in.
getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
getDataType(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns data type of the declared variable with the specified name.
getDataType(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns data type of the declared variable with the specified name.
getDataType(RangedVariable) - Static method in class ru.ispras.retrascope.model.basis.RangedVariableUtils
Returns the data type of this object.
getDataTypeMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns mapping from data types to their string representations.
getDataTypeMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getDataTypeMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getDebugFile() - Method in class ru.ispras.retrascope.basis.Backend
Returns the backend's debug file.
getDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns the declaration for the specified variable.
getDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns the declaration of the specified variable.
getDeclarationMap() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns the mapping from declared variables to their declarations.
getDeclarationMap() - Method in class ru.ispras.retrascope.model.basis.DecStatement
Mapping of internal variables names to variable declarations.
getDeclarations() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns variables declarations.
getDeclarations() - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns variables declarations.
getDefaultDirectory() - Static method in class ru.ispras.retrascope.basis.FileCreator
Returns the name of the default directory.
getDefaultEdge() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
Returns the default child edge.
getDefaultFileName() - Method in interface ru.ispras.retrascope.engine.basis.PrinterEngine
Returns the default name for file is created by the printer.
getDefaultFileName() - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
 
getDefaultFileName() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
 
getDefaultFileName() - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
 
getDefaultFileName() - Method in class ru.ispras.retrascope.engine.gadd.printer.graphml.GaddGraphMlPrinter
 
getDefineCondition(String) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
getDefineCondition(ModuleProcess) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
getDefines() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
getDefines() - Method in class ru.ispras.retrascope.model.basis.Statement
 
getDefines() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
getDefines() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
getDefines() - Method in class ru.ispras.retrascope.model.efsm.Action
 
getDefines() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getDefines() - Method in class ru.ispras.retrascope.model.efsm.Guard
 
getDefines() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
 
getDefines() - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
getDefProcesses() - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
getDescription() - Method in class ru.ispras.retrascope.basis.Parameter
Returns the description of the parameter.
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.basis.Assignment
 
getDescription() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
getDescription(ExprTreePrinter) - Method in interface ru.ispras.retrascope.model.basis.Identifiable
Returns a string description in the format of the specified printer.
getDescription() - Method in interface ru.ispras.retrascope.model.basis.Identifiable
Returns a String description of the object in the format of the default system printer.
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.basis.Module
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
 
getDescription() - Method in class ru.ispras.retrascope.model.basis.Statement
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
Returns the string description for this object in the format of the specified printer.
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
getDst() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
Returns a state which is the end point of this transition.
getEfsm() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns the simulated EFSM.
getEngine(String) - Method in class ru.ispras.retrascope.basis.EngineRegistry
Returns an engine with the given identifier.
getEngine(Set<EntityType>, Set<Engine>, Set<EntityType>) - Method in class ru.ispras.retrascope.basis.EngineRegistry
Returns an engine (a tool chain) capable to generate targets on the base of the sources.
getEngineRegistry() - Static method in class ru.ispras.retrascope.Retrascope
Returns the engine registry.
getEngines() - Method in class ru.ispras.retrascope.basis.EngineRegistry
Returns the collection of all available engines.
getEngines() - Method in class ru.ispras.retrascope.basis.ToolChain
Returns all engines of the tool chain.
getEntityType() - Method in class ru.ispras.retrascope.basis.Entity
Returns the type of the entity (a unique identifier).
getEnumValue(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.basis.ModelCheckingMethod
Returns the enum value based on the specified string value.
getEventList() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
Returns the EventList associated with the parser.
getEventList() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
Returns EventList sensitivity list.
getEventList() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
Returns the list of events that is related to this descriptor.
getEventList() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Returns event list.
getEventList() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
Returns event list.
getEventList() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
getEventList() - Method in class ru.ispras.retrascope.result.test.TestVector
Returns an EventList associated with this vector.
getExprDescription(Node) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
Returns the expression description string.
getExprDescription(Node, boolean) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
getExpression(CfgCaseStatement, CfgSwitchStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Constructs an expression from the expression of the specified switch CfgSwitchStatement node and it's possible values in the specified case CfgCaseStatement node.
getExpression() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
Returns the branch condition.
getExpressions() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
Returns the edge expressions.
getExprPrinter() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
Returns the current SMV expression printer.
getFamily(NodeOperation) - Static method in enum ru.ispras.retrascope.util.TemporalOperation
Returns the logic family of the specified NodeOperation.
getFamily() - Method in enum ru.ispras.retrascope.util.TemporalOperation
Returns the logic family of the operator.
getGuardNode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns guard's node.
getGuardUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns variables that are used in Guard condition.
getHigh() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns "'high" attribute value.
getHldd(NodeVariable) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
Returns the HLDD for the specified variable.
getHldds() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
Returns the contents of the container.
getId() - Method in class ru.ispras.retrascope.basis.Engine
Returns the unique engine identifier.
getId() - Method in class ru.ispras.retrascope.basis.EntityType
Returns the entity type identifier.
getId() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
getId() - Method in interface ru.ispras.retrascope.model.basis.Identifiable
Returns unique node identifier in string form.
getId() - Method in class ru.ispras.retrascope.model.basis.State
Returns unique string identifier of this object.
getId() - Method in class ru.ispras.retrascope.model.basis.Statement
Returns unique node identifier in string form.
getId() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
 
getId() - Method in class ru.ispras.retrascope.model.efsm.Action
Returns unique string identifier of this object.
getId() - Method in class ru.ispras.retrascope.model.efsm.EfsmModuleState
 
getId() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
 
getIncoming(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns transitions of the EFSM that end at the specified state.
getInCount(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns the number of incoming transitions for the specified state.
getIncrement() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
Returns loop counter incrementation assignment.
getIndexRanges() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns the list of index ranges.
getIndices() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns the target variable's indices.
getInit() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
Returns loop counter initialization assignment.
getInitialState() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns an initial state of this EFSM.
getInitialValue() - Method in class ru.ispras.retrascope.model.basis.Declaration
Returns initial value of declared variable.
getInitialValue(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns the initial value for declared variable with the specified name.
getInitialValue(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns initial value of the declared variable with the specified name.
getInitValueState() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
Returns node of the EFSM state that is compliant with initial values of state-like variables.
getInitVisitor() - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
Returns initial visitor.
getInMemory() - Method in class ru.ispras.retrascope.engine.basis.SimulationSnapshot
 
getInputConstraints(Collection<NodeVariable>, NodeVariable) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Generates input variable constraints that prohibit value changes while clock = 1.
getInputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns input signal declaration format.
getInputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getInputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getInputEntity(Map<EntityType, Entity>, Class<T>, EntityType) - Static method in class ru.ispras.retrascope.basis.Engine
 
getInputNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns the collection of names of already declared input variables.
getInputNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns a collection of names of the declared input signal variables.
getInputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns string description of input port.
getInputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getInputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getInputs() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns a collection of input signal variables that are declared into this object.
getInputs() - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns a collection of input signal variables that are declared into this object.
getInputsMemory() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
Returns input variables and their values.
getInputsMemory() - Method in class ru.ispras.retrascope.engine.basis.Simulator
 
getInputsMemory() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
getInputTypes() - Method in class ru.ispras.retrascope.basis.Engine
Returns the input types of the engine (i.e., the types of input entities).
getInstance() - Static method in class ru.ispras.retrascope.util.SatSolver
Returns an instance of the satisfiability solver.
getInvariant() - Method in class ru.ispras.retrascope.model.basis.Declaration
Returns variable invariant.
getInvariant(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns invariant of the declared variable with the specified name.
getInvariant(Declaration, NodeVariable) - Static method in class ru.ispras.retrascope.model.basis.DeclarationUtils
Returns the constraint representation of the specified variable.
getInvariant(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns invariant of the declared variable with the specified name.
getInvariant() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
Returns the process-level invariant.
getLastTraversed() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns a transition which was traversed by this simulator on last cycle.
getLeft() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns "'left" attribute value.
getLength() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns "'length" field value.
getLength() - Method in class ru.ispras.retrascope.result.test.Sequence
Returns an amount of vectors in this sequence.
getLevel() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Returns the level of this node.
getList() - Method in class ru.ispras.retrascope.basis.FileNames
Returns the file names (as a list).
getLogEntryHeader() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
getLogFile() - Method in class ru.ispras.retrascope.util.SmvChecker
Returns the log of the last checker execution.
getLogger() - Method in class ru.ispras.retrascope.basis.Engine
Returns the logger of the engine.
getLogger() - Static method in class ru.ispras.retrascope.util.Log
Returns the root logger.
getLogger(Class<?>) - Static method in class ru.ispras.retrascope.util.Log
Returns the component logger.
getLongName() - Method in class ru.ispras.retrascope.basis.Parameter
Returns the long name of the parameter.
getLoopType() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
Returns loop type.
getLow() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns "'low" attribute value.
getMacroOperation(String, Node...) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgSubprogramMapper
Returns the syntax node for the macro-definition that is described by it's name and operands.
getMapping() - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
Returns mapping of modules names and their signal interfaces.
getMaps() - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
Returns the MAP data type values with their SMV variable name.
getMetaInfo(String) - Method in class ru.ispras.retrascope.basis.MetaInfo
Returns meta-information of the specified type.
getMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.basis.MetaInfo
Returns meta-information for the specified key.
getModel() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
getModel() - Method in class ru.ispras.retrascope.model.gadd.GaddModel
Returns the internal CfgModel model.
getModel() - Method in interface ru.ispras.retrascope.model.hldd.HlddBuilder
 
getModel() - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Returns the constructed CFG model.
getModuleDeclaration(String, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Generates a module declaration in SMV format.
getModuleDeclaration(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Generates a module declaration in SMV format with empty parameter list.
getModuleInstantiation(String, String, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Generates a module instantiation in SMV format.
getModuleName() - Method in class ru.ispras.retrascope.util.ToolTest
Returns the target module name.
getModuleNames(Arguments, FileNames) - Method in class ru.ispras.retrascope.parser.basis.HdlParser
 
getModules() - Method in class ru.ispras.retrascope.model.basis.Model
Returns a collection of child modules.
getModules() - Method in class ru.ispras.retrascope.model.basis.Module
Returns sub-modules.
getName() - Method in class ru.ispras.retrascope.basis.Backend
Returns the backend name.
getName() - Method in class ru.ispras.retrascope.basis.Parameter
Returns terminal name for parameter.
getName() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns a name of this simulator.
getName(NodeVariable) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Checks whether the variable name is acceptable by SMV syntax.
getName(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Checks whether the specified name is acceptable by SMV syntax.
getName() - Method in class ru.ispras.retrascope.model.basis.Module
Returns the module name.
getName() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
Returns the process name.
getName() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
 
getName() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
Returns name of this object.
getName() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
Returns object's name.
getNextSequenceIterator() - Method in class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
Returns an iterator which enables to retrieve a next sequence of vectors produced by this generator.
getNode() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
Returns an expression which this state is represented by.
getNodes() - Method in class ru.ispras.retrascope.model.hldd.Hldd
Returns the diagram's nodes.
getNonInitialEfsms() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
Returns top-level non-initial EFSMs of this EFSM module.
getOperation(StandardOperation) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.BitVectorOpCodeMapper
Gets bit vector analogous operation code of the specified operation code.
getOperationCode(IGOperationBinary) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgBinaryMapper
Gets operation code of the specified operation.
getOperationCode(String) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgSubprogramMapper
Gets operation code of the operation with the specified name.
getOperationCode(IGOperationUnary) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgUnaryMapper
Gets operation code of the specified operation.
getOption() - Method in class ru.ispras.retrascope.basis.Parameter
Returns the parameter in the Apache Commons CLI format.
getOptionalInputEntity(Map<EntityType, Entity>, Class<T>, EntityType) - Static method in class ru.ispras.retrascope.basis.Engine
 
getOptions() - Method in class ru.ispras.retrascope.basis.Parameters
Returns the list of supported parameters in the Apache Commons CLI format.
getOriginal() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.PhasedDescriptor
Returns the original variable.
getOriginal() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
Returns the corresponding original variable.
getOriginalRange() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns the original range from the assignment target.
getOriginalVariable(NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Returns the original variable of the specified version variable.
getOriginalVariable() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
Returns the original variable this container associated to.
getOriginalVariable() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns the link to original variable object.
getOutCount(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns the number of outgoing transitions for the specified state.
getOutFileExt() - Method in class ru.ispras.retrascope.engine.basis.GraphMlPrinterEngine
 
getOutFileExt() - Method in class ru.ispras.retrascope.engine.basis.PrinterWalkerEngine
Returns the extension for generated files.
getOutFileExt() - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
 
getOutFileName() - Method in class ru.ispras.retrascope.engine.basis.GraphMlPrinterEngine
 
getOutFileName() - Method in class ru.ispras.retrascope.engine.basis.PrinterWalkerEngine
 
getOutFileName() - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
 
getOutgoing(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns transitions of the EFSM that start at the specified state.
getOutMemory() - Method in class ru.ispras.retrascope.engine.basis.SimulationSnapshot
 
getOutput() - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
Returns engine output entity.
getOutput() - Method in class ru.ispras.retrascope.engine.basis.PrinterWalkerEngine
 
getOutput() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
 
getOutput() - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyExtractor
 
getOutput() - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyVisitor
Returns object's output.
getOutput() - Method in class ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer
 
getOutputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns output signal declaration format.
getOutputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getOutputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getOutputNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns the collection of names of already declared output variables.
getOutputNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns a collection of names of the declared output signal variables.
getOutputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns string description of output port.
getOutputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getOutputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getOutputs() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns a collection of output signal variables that are declared into this object.
getOutputs() - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns a collection of output signal variables that are declared into this object.
getOutputsMemory() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
Returns output variables and their values.
getOutputsMemory() - Method in class ru.ispras.retrascope.engine.basis.Simulator
 
getOutputsMemory() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
getOutputType() - Method in class ru.ispras.retrascope.basis.Engine
Returns the output type of the engine (i.e., the type of output entities).
getOutputVector() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns output vector that is produced by this object.
getOverallSpecs() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvSpecificationParser
Returns the total number of specifications.
getParameters() - Method in class ru.ispras.retrascope.basis.Engine
Returns the parameters of the engine.
getParameters() - Method in class ru.ispras.retrascope.basis.Parameters
Returns the list of supported parameters.
getParent() - Method in class ru.ispras.retrascope.model.basis.Statement
Returns parent statement.
getParent() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Returns the parent of the node.
getParent() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
Returns parent container.
getParent() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
Returns parent container.
getParentContainer() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns parent container of this EFSM.
getParentDirName(String) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
Returns the base name of parent directory for the file is described in the specified path.
getPercentage() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Returns a percentage representation of this test coverage computed with the default precision.
getPercentage(int) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Returns a percentage representation of this test coverage computed with the specified precision.
getPercentage() - Method in class ru.ispras.retrascope.result.test.TestCoverage
Returns a percentage representation of this test coverage with a default precision.
getPercentage(int) - Method in class ru.ispras.retrascope.result.test.TestCoverage
Returns a percentage representation of this test coverage with the specified precision.
getPhase() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
Returns the associated value of phase variable.
getPhaseVariable(Module, ModuleProcess) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Gets the phase variable of the specified process.
getPostCondition(CfgBlockStatement...) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Returns the post-condition for the specified sequence of block statements.
getPredecessor(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns the statement that comes before the specified statement.
getPreviousPhases() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.PhasedDescriptor
Returns the list of previous phases.
getProcesses() - Method in class ru.ispras.retrascope.model.basis.Module
Returns processes.
getProcessInstantiation(Collection<ModuleProcess>, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Generates process instantiations in SMV format.
getProcessMap() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
Returns mapping of names to nested process-level property containers.
getProcessPhaseMap() - Method in class ru.ispras.retrascope.model.gadd.GaddModel
Returns the mapping from model processes to their phase sequence graphs.
getProperties() - Method in class ru.ispras.retrascope.model.basis.Module
Returns the list of module-level properties.
getProperties() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
Returns process-level properties' list.
getProperties() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
Returns a collection of properties.
getProperties() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
Returns a collection of properties.
getPropertyNum() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
Returns the number of related properties.
getRange() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns the range field for this object's target.
getRange() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns "'range" field value.
getRangedVariable() - Method in class ru.ispras.retrascope.model.basis.Event
Returns the event ranged variable.
getRangeInvariant(Node, Node, boolean) - Static method in class ru.ispras.retrascope.model.basis.RangedVariableUtils
Returns the invariant in range form.
getRegisterNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns the collection of names of already declared internal (register) variables.
getRegisterNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns a collection of names of the declared register variables.
getRegMemory() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
Returns internal variables and their values.
getRegMemory() - Method in class ru.ispras.retrascope.engine.basis.SimulationSnapshot
 
getRegMemory() - Method in class ru.ispras.retrascope.engine.basis.Simulator
 
getRegMemory() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
getRegs(Module) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Returns a list of registers of the specified module.
getReport() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
Returns error report.
getResetGuardedActions() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns reset guarded actions of this EFSM, that is, such guarded actions which represent an initialisation of this EFSM.
getResult() - Method in class ru.ispras.retrascope.util.SmvChecker
Returns the result of the last checker execution.
getResultingDependencies(Action) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Returns mapping between modified variables and affecting variables.
getResultingSubstitutions(Action) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Returns mapping between variables and corresponding substitutions.
getRight() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns "'right" attribute value.
getRootNode() - Method in class ru.ispras.retrascope.model.hldd.Hldd
Returns the root node.
getRstGuardedAction() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
Returns resetting guarded action.
getSeparatedDescription(ExprTreePrinter, String) - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns this assignment description that is presented in format of the specified printer with the specified separator.
getSeparator(ExprTreePrinter, boolean) - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns assignment separator for the specified printer and basic block concurrent type.
getSequenceNum() - Method in class ru.ispras.retrascope.result.test.Test
Returns the number of sequences which this test consists of.
getSequences() - Method in class ru.ispras.retrascope.result.test.SequenceModel
Returns sequences of this sequence model.
getSequences() - Method in class ru.ispras.retrascope.result.test.Test
Returns a list of sequences which this test consists of.
getSeverity() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
Returns severity level.
getShortestPath(EfsmState, EfsmState, Efsm.TransitionWeightBasis) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Looks for the shortest path from the specified source state to the specified destination state with the specified principle of transition weight defining.
getSimulatedModel() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a model which is simulated by this simulator.
getSimulatedModel() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
getSize() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
Returns the size of the array of values.
getSmvFileName(Arguments) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.SmvPrinterEngine
 
getSources() - Method in class ru.ispras.retrascope.Retrascope.ToolRun
Returns the sources entities to be analyzed.
getSrc() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
Returns a state which is the start point of this transition.
getSrcType() - Method in class ru.ispras.retrascope.parser.basis.HdlParser
Returns the type of HDL source inputs.
getSrcType() - Method in class ru.ispras.retrascope.parser.verilog.VerilogParser
 
getSrcType() - Method in class ru.ispras.retrascope.parser.vhdl.VhdlParser
 
getStatement(int) - Method in class ru.ispras.retrascope.model.basis.Statement
Returns a child statement of the specified index.
getStatement(Statement, String) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Returns sub-statement with the specified identifier.
getStatement(int) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
getStatementNum() - Method in class ru.ispras.retrascope.model.basis.Statement
Returns a number of child statements.
getStatementNum() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
getStateNum() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns the number of states for this EFSM.
getStates() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns all states of this EFSM.
getStateVariables() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns the set of state variables that are used in this object.
getStatus() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
getStatus() - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
getStatus() - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Returns the current status of the visitor.
getStEntityName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns ST top entity (group) name.
getStEntityName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getStEntityName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getStringMetaInfo(String) - Method in class ru.ispras.retrascope.basis.MetaInfo
Returns the string representation of the data is stored with the specified key.
getStringMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.basis.MetaInfo
Returns the string representation of the data is stored with the specified key.
getStringValue() - Method in enum ru.ispras.retrascope.engine.hldd.printer.smv.basis.ModelCheckingMethod
Returns the associated string value of the enum element.
getStringValues() - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.basis.ModelCheckingMethod
Returns the associated string values as an array.
getStrongestPostCondition(Node, Node, CfgBlockStatement...) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Creates strongest post-condition for the specified conditions and the specified list of block nodes.
getStylePrinter() - Method in class ru.ispras.retrascope.basis.Configuration
Returns expression style printer.
getSubSimulator(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
Returns a simulator for the specified EFSM.
getSubSimulators() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
Returns all process simulators of this simulator.
getSubStatement(CfgSwitchStatement, Node) - Static method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
Returns switch type sub-statement for the specified one.
getSuccessors(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns statements that go after the specified statement.
getSuccessors(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
Returns the following nodes of the specified node.
getSuperStatement(Statement, Node) - Static method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
Returns super-statement (sub-...parent) for the specified one with the specified fields.
getTarget() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns defined ranged variable.
getTargets() - Method in class ru.ispras.retrascope.basis.EngineRegistry
Returns the collection of all available targets (output types of engines).
getTargetVariable() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
Returns the target variable.
getTemplateDirName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns the name for ST template directory.
getTemplateDirName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getTemplateDirName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getTemplateName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns the name for ST template.
getTemplateName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getTemplateName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getTerminalNodes() - Method in class ru.ispras.retrascope.model.hldd.Hldd
Returns the terminal nodes.
getTerminalSuccessors(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
Returns the following terminal nodes of the specified node.
getTestbenchExt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns an extension of the testbench files.
getTestbenchExt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getTestbenchExt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getTestbenchFile() - Method in class ru.ispras.retrascope.result.testbench.Testbench
Returns a path to the testbench file.
getTests() - Method in class ru.ispras.retrascope.result.test.TestModel
Returns tests of this test model.
getTopParent(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns the top level parent for the specified statement.
getTopStatements(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns the collection of top level statements of the specified one.
getTransactions() - Method in class ru.ispras.retrascope.result.test.TestVector
Returns all transactions included in this vector.
getTransitionNum() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns the number of transitions for this EFSM.
getTransitions() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns all transitions of this EFSM.
getTrueSpecs() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
Returns the number of true specifications after model checking.
getTstParserName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns the TST parser template name.
getTstParserName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getTstParserName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getType() - Method in class ru.ispras.retrascope.basis.FileNames
Returns the file names' extension (file type).
getType(DataType) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Returns a data type in SMV format.
getType(NodeVariable) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Returns variable's data type in SMV format.
getType(DataType, List<Range>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Returns a data type in SMV format.
getType() - Method in class ru.ispras.retrascope.model.basis.Event
Returns type.
getType() - Method in class ru.ispras.retrascope.model.basis.Module
 
getType() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
 
getType() - Method in class ru.ispras.retrascope.model.basis.Statement
Returns the statement type.
getType() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
 
getType() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
getType() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
 
getType() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
 
getType() - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
 
getType() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
getType() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Returns the type of the node.
getTypeConversionPrefix(DataTypeId, DataTypeId) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Returns the type conversion string from the source type into the target type if possible.
getUncovered() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Returns all uncovered transitions in this coverage.
getUseCondition(String) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
getUseCondition(ModuleProcess) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
getUseDefMap() - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
 
getUseDefMap() - Method in class ru.ispras.retrascope.model.hldd.HlddModel
 
getUseDefMap() - Method in class ru.ispras.retrascope.result.usedef.UseDefEntity
Returs the variables and their corresponding use/def conditions contained in the entity.
getUsedVariableNames() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns names of variables that are used in this object.
getUseProcesses() - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
getUses() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
getUses() - Method in class ru.ispras.retrascope.model.basis.Statement
 
getUses() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
getUses() - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
 
getUses() - Method in class ru.ispras.retrascope.model.efsm.Action
 
getUses() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getUses() - Method in class ru.ispras.retrascope.model.efsm.Guard
 
getUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
 
getUses() - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
getValue(Parameter) - Method in class ru.ispras.retrascope.basis.Arguments
Returns the parameter value.
getValue(Parameter, String) - Method in class ru.ispras.retrascope.basis.Arguments
Returns the parameter value.
getValue() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns value expression.
getValue(String) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
getValue() - Method in class ru.ispras.retrascope.model.gadd.Phase
Returns the phase value.
getValue(String) - Method in class ru.ispras.retrascope.result.test.TestVector
Returns a value of the specified variable from this vector.
getValue(String) - Method in class ru.ispras.retrascope.result.test.Transaction
Returns a value of the specified variable from this transaction.
getValue(int, DataType) - Static method in class ru.ispras.retrascope.util.NodeUtils
Returns object of the specified type that contains the specified value.
getValueExpr(Node, Node, int, Node) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionUtils
Creates the following node using the specified parameters: (index == intIndex) ? storedValue : array[intIndex]
getValues() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
Return the current values of the Version.
getValues(NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
Returns the current values of the specifed variable.
getValues(NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
Returns the current values of the specifed variable.
getValues() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
getValues() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
Returns the collection of descriptor-related values.
getValues() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Returns case statement values.
getValues() - Method in class ru.ispras.retrascope.result.test.Transaction
Returns a map containing mappings between names and values for all variables of this transaction.
getVarDeclareSection(Map<NodeVariable, Declaration>, SmvExprPrinter) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Generates a VAR declaration section in SMV format from a collection of variables.
getVariable() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
Returns the corresponding version variable.
getVariable() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns defined variable.
getVariable(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns declared variable with specified name.
getVariable(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns declared variable with specified name.
getVariable() - Method in class ru.ispras.retrascope.model.basis.Event
Returns the event variable.
getVariable() - Method in class ru.ispras.retrascope.model.hldd.Hldd
Returns the associated variable.
getVariableContainer(Statement, String) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns node that contains a declaration of variable with the specified name.
getVariableContainer(Statement, NodeVariable) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns node that contains a declaration of the specified variable.
getVariableNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns the collection of names for already declared variables.
getVariableNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns a collection of this object variables names.
getVariableNames(Collection<? extends Node>) - Static method in class ru.ispras.retrascope.util.NodeUtils
Returns a collection of names for variables from the specified collection.
getVariableNum() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns the number of declared variables.
getVariables() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Returns declared variables.
getVariables() - Method in class ru.ispras.retrascope.model.basis.DecStatement
Returns declared variables.
getVariableType() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns variable type.
getVariableValue(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns value of variable with the specified name.
getVectorNum() - Method in class ru.ispras.retrascope.result.test.Test
Returns the number of vectors which this test consists of.
getVersion(NodeVariable, Deque<NodeVariable>) - Static method in class ru.ispras.retrascope.model.basis.VariableVersionFactory
Creates new version of the specified variable.
getVersionMap(DecStatement) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionUtils
Searches for variable versions in the specified DecStatement.
getVersionNumber(NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Returns the version number of the specified variable.
getVersionNumber() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
Returns the version number.
getVersionNumber() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns the number of current version variable.
getVersions(NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
Returns the versions container of the specified variable.
getVersions() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
Returns the versions of the original variable.
getVisitor() - Method in class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
Returns the backend's internal visitor.
getVisitor(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddSmvPrinterBase
 
getVisitor(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
 
getVisitor(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinter
 
getVisitor(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvPrinter
 
getVisitor(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvPrinter
 
getVisitor() - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Returns the model visitor.
getWalkers() - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
Return engine walkers.
getWeakestPreCondition(Node, CfgBlockStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Creates the weakest pre-condition for the specified post-condition and the specified basic block.
getWhitespace(int) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Returns the indentation space according to the specified indentation level.
goToNextStatement() - Method in class ru.ispras.retrascope.model.basis.walker.BfsWalker
 
goToNextStatement() - Method in class ru.ispras.retrascope.model.basis.walker.DfsWalker
 
goToNextStatement() - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Next statement for walking choosing method.
goToNextStatement() - Method in class ru.ispras.retrascope.model.cfg.CfgDfsWalker
 
GraphMlPrinterEngine - Class in ru.ispras.retrascope.engine.basis
Abstract GraphML printer engine.
GraphMlPrinterEngine(String, EntityType, EntityType, ModelWalker...) - Constructor for class ru.ispras.retrascope.engine.basis.GraphMlPrinterEngine
Constructs object with the specified identifier, input/output types, walkers.
GraphMlUtils - Class in ru.ispras.retrascope.engine.basis
GraphML utils.
greater(Node, Node) - Static method in class ru.ispras.retrascope.util.NodeUtils
Returns a "greater-or-equal" operation for the specified operands of the same type.
Guard - Class in ru.ispras.retrascope.model.efsm
Boolean condition that consists of some predicates.
Guard(Node) - Constructor for class ru.ispras.retrascope.model.efsm.Guard
Constructs object with the specified boolean predicate.
Guard(Collection<Node>) - Constructor for class ru.ispras.retrascope.model.efsm.Guard
Constructs object from the specified list of Boolean Node objects.
GuardedAction - Class in ru.ispras.retrascope.model.efsm
Clocked guarded action.
GuardedAction(Node, Action, EventList) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
Constructs object with the specified node guard, action and clock events.
GuardedAction(Guard, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
Constructs object with the specified guard condition and action.
GuardedAction(Node, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
Constructs object with the specified guard expression node and action.
GuardedAction(Collection<Node>, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
Constructs object from the specified guard predicates and the specified action.
GuardedAction(GuardedAction) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
Creates a copy of the specified object.

H

hasArgument() - Method in class ru.ispras.retrascope.basis.Parameter
Checks whether an argument is required after the parameter.
hasClock(String) - Method in class ru.ispras.retrascope.model.gadd.GaddModel
Checks whether the specified process has an associated clock-like variable.
hasCondition() - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
Checks whether statement contains non-null condition.
hasDeclaringAncestor(Efsm, NodeVariable) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Checks whether the specified EFSM (or it's ancestor) declares the specified variable.
hasDefaultEdge() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
Shows whether the node has a default child edge.
hasEvent(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
Checks whether this object is sensitive to event for the specified variable.
hasEvents() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
Checks whether this descriptor contains events.
hasEvents() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Checks whether this object contains an event.
hasEvents() - Method in class ru.ispras.retrascope.result.test.TestVector
Checks whether this object has events.
hashCode() - Method in class ru.ispras.retrascope.basis.Engine
 
hashCode() - Method in class ru.ispras.retrascope.basis.Entity
 
hashCode() - Method in class ru.ispras.retrascope.basis.EntityType
 
hashCode() - Method in class ru.ispras.retrascope.basis.FileNames
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.Event
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.EventList
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.Statement
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
 
hashCode() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
 
hashCode() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
hashCode() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
 
hashCode() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
 
hashCode() - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
 
hashCode() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.Action
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmModuleState
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.Guard
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
 
hashCode() - Method in class ru.ispras.retrascope.model.gadd.Phase
 
hashCode() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
 
hashCode() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
hashCode() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
 
hashCode() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
 
hashCode() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
 
hashCode() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
 
hashCode() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Sequence
 
hashCode() - Method in class ru.ispras.retrascope.result.test.SequenceModel
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Test
 
hashCode() - Method in class ru.ispras.retrascope.result.test.TestModel
 
hashCode() - Method in class ru.ispras.retrascope.result.test.TestVector
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Transaction
 
hashCode() - Method in class ru.ispras.retrascope.result.testbench.Testbench
 
HashMapMemory - Class in ru.ispras.retrascope.model.basis.memory
The hash map-based store of variables.
HashMapMemory(Collection<String>) - Constructor for class ru.ispras.retrascope.model.basis.memory.HashMapMemory
Constructs an empty (values of variables are equal to null) hash map-based store of variables.
HashMapMemory(HashMapMemory) - Constructor for class ru.ispras.retrascope.model.basis.memory.HashMapMemory
Constructs hash map-based store of variables as a copy of the specified HashMapMemory instance.
hasInitState() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Checks rather this object has non-null initial state.
hasMacro(String) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgSubprogramMapper
Checks whether this macro-definition is supported.
hasMetaInfo(String) - Method in class ru.ispras.retrascope.basis.MetaInfo
Checks whether object contains meta-information for the specified user-defined type.
hasMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.basis.MetaInfo
Checks whether object contains meta-information for the specified enum key.
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.EfsmTransitionChooser
Checks if there is at least one non-chosen transition now.
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.NearUncoverChooser
 
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.RandomEfsmTransitionChooser
 
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.SemiRandomEfsmTransitionChooser
 
hasNext() - Method in class ru.ispras.retrascope.result.test.Sequence
 
hasOperation(StandardOperation) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.BitVectorOpCodeMapper
Checks whether operation is supported.
hasOperation(String) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgSubprogramMapper
Checks whether operation is supported.
HdlParser - Class in ru.ispras.retrascope.parser.basis
HDL parser basic class.
HdlParser(String) - Constructor for class ru.ispras.retrascope.parser.basis.HdlParser
Constructs parser with the specified identifier.
help(String) - Method in class ru.ispras.retrascope.basis.Parameters
Prints the help message.
HELP_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
Hldd - Class in ru.ispras.retrascope.model.hldd
This class represents a High-Level Decision Diagram (HLDD) of a variable assignment function.
Hldd(NodeVariable) - Constructor for class ru.ispras.retrascope.model.hldd.Hldd
Constructs a new HLDD using the specified variable.
Hldd(NodeVariable, Collection<HlddNode>) - Constructor for class ru.ispras.retrascope.model.hldd.Hldd
Constructs a new HLDD using the specified values.
Hldd() - Constructor for class ru.ispras.retrascope.model.hldd.Hldd
Constructs a new HLDD.
HlddBuilder - Interface in ru.ispras.retrascope.model.hldd
This is an interface for HLDD-building classes.
HlddClockedVisitorBase - Class in ru.ispras.retrascope.engine.hldd.printer.smv.basis
This is the base class of a visitor for clocked models.
HlddClockedVisitorBase(String) - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddClockedVisitorBase
Constructs a new visitor and creates a new *.smv file.
HlddConditionNode - Class in ru.ispras.retrascope.model.hldd
This class represents the non-terminal condition node of a HLDD.
HlddConditionNode(HlddNode, Node) - Constructor for class ru.ispras.retrascope.model.hldd.HlddConditionNode
Constructs a new condition node.
HlddConditionNode(HlddNode) - Constructor for class ru.ispras.retrascope.model.hldd.HlddConditionNode
Constructs a new condition node.
HlddConditionNode() - Constructor for class ru.ispras.retrascope.model.hldd.HlddConditionNode
Constructs a new condition node.
HlddEdge - Class in ru.ispras.retrascope.model.hldd
This class represents the edge node of a HLDD.
HlddEdge(HlddNode) - Constructor for class ru.ispras.retrascope.model.hldd.HlddEdge
Constructs a new edge node.
HlddEdge() - Constructor for class ru.ispras.retrascope.model.hldd.HlddEdge
Constructs a new edge node.
HlddEmptyVisitor - Class in ru.ispras.retrascope.model.hldd
An empty visitor for High-level decision diagram model.
HlddEmptyVisitor() - Constructor for class ru.ispras.retrascope.model.hldd.HlddEmptyVisitor
 
HlddModel - Class in ru.ispras.retrascope.model.hldd
This class represents a HlddModel which consists of HlddModules, HlddProcesses and Hldds.
HlddModel() - Constructor for class ru.ispras.retrascope.model.hldd.HlddModel
Constructs a new model entity.
HlddModel(Collection<Module>) - Constructor for class ru.ispras.retrascope.model.hldd.HlddModel
Constructs a new model entity using the specified collection of modules.
HlddModelUtils - Class in ru.ispras.retrascope.model.hldd
Utility methods for high level decision diagram (HLDD) model and it's components.
HlddModule - Class in ru.ispras.retrascope.model.hldd
This class represents a module of a HLDD model.
HlddModule(Module) - Constructor for class ru.ispras.retrascope.model.hldd.HlddModule
Constructs a new module and sets the specified data.
HlddNode - Class in ru.ispras.retrascope.model.hldd
This class represents a node of a high-level decision diagram (HLDD).
HlddNode.NodeType - Enum in ru.ispras.retrascope.model.hldd
Type of a node.
HlddNonTerminalNode - Interface in ru.ispras.retrascope.model.hldd
HLDD non-terminal node interface.
HlddProcess - Class in ru.ispras.retrascope.model.hldd
This class represents a process of a HLDD model.
HlddProcess(String) - Constructor for class ru.ispras.retrascope.model.hldd.HlddProcess
Constructs a new process with the specified name.
HlddProcess(ModuleProcess) - Constructor for class ru.ispras.retrascope.model.hldd.HlddProcess
Constructs a new process using the specified process.
HlddPropertySmvPrinter - Class in ru.ispras.retrascope.engine.hldd.printer.smv.property
This engine prints the HLDD model and related properties into an SMV file.
HlddPropertySmvPrinter() - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinter
Default constructor.
HlddPropertySmvVisitor - Class in ru.ispras.retrascope.engine.hldd.printer.smv.property
This class represents a visitor for property-smv printer.
HlddPropertySmvVisitor(String) - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
Constructs a new visitor and creates a new *.smv file.
HlddSmvPrinter - Class in ru.ispras.retrascope.engine.hldd.printer.smv
The printer for high level decision diagram (HLDD) models to SMV text format.
HlddSmvPrinter() - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
Default constructor.
HlddSmvPrinterBase - Class in ru.ispras.retrascope.engine.hldd.printer.smv.basis
This is the base class for HLDD-SMV printers.
HlddSmvPrinterBase(String) - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddSmvPrinterBase
 
HlddSmvVisitor - Class in ru.ispras.retrascope.engine.hldd.printer.smv
Basic HLDD visitor that provides SMV representation.
HlddSmvVisitor(String) - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
Constructs a new visitor and creates a new *.smv file.
HlddSpecSmvPrinter - Class in ru.ispras.retrascope.engine.hldd.printer.smv.spec
This class prints the SMV model together with the specified specification file.
HlddSpecSmvPrinter() - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvPrinter
Constructs a new printer engine.
HlddSpecSmvVisitor - Class in ru.ispras.retrascope.engine.hldd.printer.smv.spec
This class represents the visitor that prints the SMV model together with the given specifications.
HlddSpecSmvVisitor(String) - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvVisitor
Constructs a new visitor and creates a new *.smv file.
HlddTerminalNode - Class in ru.ispras.retrascope.model.hldd
This class represents the terminal node of a HLDD.
HlddTerminalNode(HlddNode) - Constructor for class ru.ispras.retrascope.model.hldd.HlddTerminalNode
Constructs a new terminal node.
HlddTerminalNode(HlddNode, Node, Node) - Constructor for class ru.ispras.retrascope.model.hldd.HlddTerminalNode
Constructs a new terminal node.
HlddTerminalNode(Node, Node) - Constructor for class ru.ispras.retrascope.model.hldd.HlddTerminalNode
Constructs a new terminal node.
HlddTerminalNode() - Constructor for class ru.ispras.retrascope.model.hldd.HlddTerminalNode
Constructs a new terminal node.
HlddUnusedVariableBackend - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd
This class represents a visitor which is used to search for unused variables in the design.
HlddUseDefCheckerVisitor - Class in ru.ispras.retrascope.engine.hldd.printer.smv.usedef
This visitor adds various checker processes to the HLDD model.
HlddUseDefCheckerVisitor() - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefCheckerVisitor
Constructs a new visitor.
HlddUseDefSmvPrinter - Class in ru.ispras.retrascope.engine.hldd.printer.smv.usedef
This class prints the HLDD model with the use-def checkers and properties.
HlddUseDefSmvPrinter() - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvPrinter
Constructs a new printer engine.
HlddUseDefSmvVisitor - Class in ru.ispras.retrascope.engine.hldd.printer.smv.usedef
This visitor prints the HLDD model and the corresponding use-def properties.
HlddUseDefSmvVisitor(String) - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvVisitor
Constructs a new visitor and creates a new *.smv file.
HlddVariableAnalyzerBackend - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd
This class represents a visitor which is used to remove duplicate variable assignments in different processes.
HlddVisitor - Interface in ru.ispras.retrascope.model.hldd
This class represents the HlddModel visitor interface.
HlddWalker - Class in ru.ispras.retrascope.model.hldd
Hldd model walker.
HlddWalker(HlddVisitor) - Constructor for class ru.ispras.retrascope.model.hldd.HlddWalker
Constructs a new walker object.

I

Identifiable - Interface in ru.ispras.retrascope.model.basis
Object that can be characterized by it string identifier and printed in some text format.
IgBinaryMapper - Class in ru.ispras.retrascope.parser.vhdl.mapper
Mapping between IG binary operation identifiers and standard operation identifiers that are supported.
IgSubprogramMapper - Class in ru.ispras.retrascope.parser.vhdl.mapper
Mapping between IG subprogram identifiers and standard operation identifiers that are supported.
IgUnaryMapper - Class in ru.ispras.retrascope.parser.vhdl.mapper
Mapping between IG unary operation identifiers and standard operation identifiers that are supported.
include(EfsmTransitionCoverage) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Includes the specified coverage to this coverage.
INCLUDE_PATH - Static variable in class ru.ispras.retrascope.parser.verilog.VerilogParser
Include path option.
includes(Sequence) - Method in class ru.ispras.retrascope.result.test.Sequence
Checks whether the object includes the specified one.
incompatibleWith(Event) - Method in class ru.ispras.retrascope.model.basis.Event
Checks whether this object is compatible with the specified one.
indexed() - Method in class ru.ispras.retrascope.model.basis.Assignment
Checks whether this object contains an indexed target variable.
indexOf(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
Returns index of the specified statement.
info(String, Object...) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified objects in the specified format at the info logging level.
INFO - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level for informational messages.
initAllValues() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
Inits the contents of the registry.
initFile(String) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
Create GraphML file with the specified name.
initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
Initializes engine with the specified inputs.
initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.basis.PrinterWalkerEngine
 
initialize(String, String) - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCVisitor
Initialize the object with the target file name.
initialize(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
Initializes object with the specified file name.
initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
 
initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyExtractor
 
initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer
 
initIterator() - Method in class ru.ispras.retrascope.result.test.Sequence
Prepares internal iterator for vectors.
initValues() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
Fills the values of the variables.
initVisitor(String) - Method in class ru.ispras.retrascope.engine.basis.PrinterWalkerEngine
Initializes visitor with the spcified file name.
initVisitor(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
 
initVisitor(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
Initialize visitor with the graphML file name.
initVisitor(String) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
 
INPUT_VALUES - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
 
inputs - Variable in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
 
isActive() - Method in class ru.ispras.retrascope.basis.Backend
Checks whether the backend is active.
isConcurrent() - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
Checks rather this object includes concurrent or blocking assignments.
isConcurrent() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
isConcurrent() - Method in class ru.ispras.retrascope.model.efsm.Action
 
isCondition() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Indicates whether the node is a condition.
isCovered(EfsmTransition) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Checks if the specified transition is covered.
isDebugMode() - Method in class ru.ispras.retrascope.basis.Engine
Checks whether debug mode for the engine is enabled.
isDefault() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Returns case statement default type.
isDefault() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
Shows whether the node is a default node.
isDefined(ModuleProcess) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
isEdge() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Indicates whether the node is an edge.
isEmpty() - Method in class ru.ispras.retrascope.model.basis.EventList
Checks if this object is empty.
isEmpty() - Method in class ru.ispras.retrascope.result.test.Sequence
Checks whether the object has no vectors..
isEmpty() - Method in class ru.ispras.retrascope.result.test.Test
Checks whether the object contains empty sequences only.
isEmpty() - Method in class ru.ispras.retrascope.result.test.TestModel
Checks whether model contains empty tests only.
isEmpty() - Method in class ru.ispras.retrascope.result.test.TestVector
Checks if this vector is empty.
isEmpty() - Method in class ru.ispras.retrascope.result.test.Transaction
Checks if this transaction is empty.
isFull() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Tests if this coverage is full, that is, there are no uncovered transitions.
isFull() - Method in class ru.ispras.retrascope.result.test.TestCoverage
Tests if this coverage is full.
isGuard() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.PhasedDescriptor
Indicates that a descriptor belongs to a guard.
isImmediateAssignment() - Method in class ru.ispras.retrascope.model.hldd.Hldd
Shows whether the HLDD implements an immediate assignment.
isInitial() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
Checks whether process is of initial kind.
isInputSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Checks whether the specified identifier is of input or input-output signal type.
isLast(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Checks whether the specified statement has successors or not.
isNonTerminal() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
 
isNonTerminal() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
isNonTerminal() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Indicates whether the node is non-terminal.
isNonTerminal() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
 
isOneBitSignal(NodeVariable) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Checks whether the specified variable is a one-bit length signal.
isOriginal() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
Indicates that this Version represents the original variable.
isOutputSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Check whether the specified identifier is of input-output or output type.
isReachable(EfsmState, EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Checks if there is a path from the specified source state to the specified destination state at the model.
isRegister(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Check whether the specified identifier is of register type.
isSat(Node) - Method in class ru.ispras.retrascope.util.SatSolver
Checks whether the specified expression is satisfiable.
isSat(Node) - Static method in class ru.ispras.retrascope.util.SolverUtils
Checks whether the specified expression is satisfiable.
isSelect(Node) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Indicates that the specified node is the SELECT operation.
isSensible(EventList) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Checks if this guarded action is sensible to the specified events.
isSequential() - Method in class ru.ispras.retrascope.model.basis.Module
 
isSequential() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
 
isSequential() - Method in class ru.ispras.retrascope.model.basis.SequentialStatement
 
isSequential() - Method in class ru.ispras.retrascope.model.basis.Statement
Checks whether statement is of sequential kind.
isSequential() - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
 
isSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Checks whether identifier is of signal type.
isStore(Node) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Indicates that the specified node is the STORE operation.
isTemporal(Node) - Static method in enum ru.ispras.retrascope.util.TemporalOperation
Checks whether the specified node is a temporal operation.
isTerminal() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Indicates whether the node is terminal.
isTriggered(Event) - Method in class ru.ispras.retrascope.model.basis.Event
Checks whether this object is triggered by the specified one.
isTriggered(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks if this object is always triggered along with the specified argument.
isType(Enum<?>) - Method in class ru.ispras.retrascope.model.basis.Statement
Checks whether this statement is of specified type.
isType(Enum<?>, Statement...) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Checks whether the specified nodes are of the specified type.
isType(CfgStatementType, Statement...) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Checks whether the specified nodes are of the specified type.
isUsed(ModuleProcess) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
isValueFree() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
Checks whether this descriptor does not contain any values.
iterator() - Method in class ru.ispras.retrascope.model.basis.EventList
 

J

JaxbEvent - Class in ru.ispras.retrascope.model.basis.jaxb
The representation of Event suitable for JAXB marshalling and unmarshalling.
JaxbEvent() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
 
JaxbEventAdapter - Class in ru.ispras.retrascope.model.basis.jaxb
The adapter class for JAXB marshalling/unmarshalling of Event objects.
JaxbEventAdapter() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEventAdapter
 
JaxbEventList - Class in ru.ispras.retrascope.model.basis.jaxb
The class for mediation during JAXB marshalling/unmarshalling of events.
JaxbEventList() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEventList
 
JaxbEventListAdapter - Class in ru.ispras.retrascope.model.basis.jaxb
The adapter class for JAXB marshalling/unmarshalling of EventList objects.
JaxbEventListAdapter() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEventListAdapter
 
jaxbEvents - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventList
 
JaxbVariable() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable
 
JaxbVariableList() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList
 
JaxbVariableMapXmlAdapter - Class in ru.ispras.retrascope.result.test.jaxb
The adapter class for JAXB marshalling/unmarshalling of variables.
JaxbVariableMapXmlAdapter() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter
 
JaxbVariableMapXmlAdapter.JaxbVariableList - Class in ru.ispras.retrascope.result.test.jaxb
The class for mediation during JAXB marshalling/unmarshalling of variables.
JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable - Class in ru.ispras.retrascope.result.test.jaxb
The class for mediation during JAXB marshalling/unmarshalling of variables.
jaxbVariables - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList
 

L

loadSnapshot(SimulationSnapshot) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Restores a simulation state from the specified snapshot.
loadSnapshot(SimulationSnapshot) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
Loads the specified simulation snapshot discarding current simulation state and history.
Log - Class in ru.ispras.retrascope.util
This class implements logging facilities.
LOG_LEVEL - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
 
LOG_LEVEL - Static variable in class ru.ispras.retrascope.Retrascope
 
LOG_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
LogLevel - Class in ru.ispras.retrascope.util
The class containing Retrascope logging levels.
LogMessage - Enum in ru.ispras.retrascope.util
Utility class for logger messages.
LOOP_LIMIT - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
Engine's command line parameter encoding loop iteration limit.

M

main(String...) - Static method in class ru.ispras.retrascope.Retrascope
Configures and runs the tool chain.
makeMessage(Enum<?>, Object) - Static method in enum ru.ispras.retrascope.util.LogMessage
Creates message string with the specified prefix and the specified data stored in object.
makeSimulationSnapshot() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a snapshot representing a current state of the simulation.
makeSimulationSnapshot() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
makeSimulationSnapshot() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
makeSubstitutions(Node, boolean) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Performs the following substitutions on the specified Node: Substitutes a power operation by an arithmetic left shift operation.
makeTestbenches(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Builds the collection of testbenches from the specified inputs.
MapUtils - Class in ru.ispras.retrascope.engine.hldd.printer.smv.utils
This class contains static methods for proper MAP data type printing.
markTransitionAsCovered(EfsmTransition) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Marks the specified transition as covered.
marshal(Event) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventAdapter
 
marshal(EventList) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventListAdapter
 
marshal(Map<String, NodeValue>) - Method in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter
 
MetaInfo - Class in ru.ispras.retrascope.basis
Meta-information storage.
MetaInfo() - Constructor for class ru.ispras.retrascope.basis.MetaInfo
Default constructor.
MetaInfo(Map<String, Object>) - Constructor for class ru.ispras.retrascope.basis.MetaInfo
Constructs an object with the specified data.
MetaInfoType - Enum in ru.ispras.retrascope.basis
Predefined meta-information types.
MetaInfoValue - Enum in ru.ispras.retrascope.basis
Predefined meta-information values.
minimise(TestModel, EfsmModel) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.TestMinimiser
Minimizes test according to the coverage it reaches on transitions of the specified EFSM model.
minimise(TestModel) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.TestMinimiser
Minimizes test sequences from the specified model.
Model - Class in ru.ispras.retrascope.model.basis
The abstract representation of a device model.
Model(EntityType) - Constructor for class ru.ispras.retrascope.model.basis.Model
Constructs an entity with a given type.
ModelCheckingMethod - Enum in ru.ispras.retrascope.engine.hldd.printer.smv.basis
This enum represents different methods for model checking.
ModelEmptyVisitor - Class in ru.ispras.retrascope.model.basis.walker
An empty visitor for models.
ModelEmptyVisitor() - Constructor for class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
ModelTransformUtils - Class in ru.ispras.retrascope.util
Utility methods for models transformation.
ModelUtils - Class in ru.ispras.retrascope.model.basis
Utility methods for models and their components.
ModelVisitor - Interface in ru.ispras.retrascope.model.basis.walker
Basic interface for model visitors.
ModelVisitor.Status - Enum in ru.ispras.retrascope.model.basis.walker
 
ModelWalker - Class in ru.ispras.retrascope.model.basis.walker
 
ModelWalkerEngine - Class in ru.ispras.retrascope.engine.basis
The basic engine that applies several walkers on the target model.
ModelWalkerEngine(String, EntityType, EntityType, ModelWalker...) - Constructor for class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
Constructs object with the specified identifier, input/output types, walkers.
Module - Class in ru.ispras.retrascope.model.basis
The model component.
Module() - Constructor for class ru.ispras.retrascope.model.basis.Module
Default constructor.
Module(String) - Constructor for class ru.ispras.retrascope.model.basis.Module
Constructs object with the specified name.
Module(Module) - Constructor for class ru.ispras.retrascope.model.basis.Module
Constructs a copy of the specified module object.
MODULE_NAME - Static variable in class ru.ispras.retrascope.parser.basis.HdlParser
The HDL top-level module names.
ModuleProcess - Class in ru.ispras.retrascope.model.basis
The module's concurrent component.
ModuleProcess() - Constructor for class ru.ispras.retrascope.model.basis.ModuleProcess
Default constructor.
ModuleProcess(EventList) - Constructor for class ru.ispras.retrascope.model.basis.ModuleProcess
Constructs the process object with the specified sensitivity list of events.
ModuleProcess(boolean) - Constructor for class ru.ispras.retrascope.model.basis.ModuleProcess
Constructs the process object with the specified value of initial flag.
ModuleProcess(EventList, boolean) - Constructor for class ru.ispras.retrascope.model.basis.ModuleProcess
Constructs the process object with the specified parameters.
ModuleProcess(String, EventList, boolean) - Constructor for class ru.ispras.retrascope.model.basis.ModuleProcess
Constructs the process object with the specified parameters.
ModuleProcess(String) - Constructor for class ru.ispras.retrascope.model.basis.ModuleProcess
Constructs process object with the specified name.
ModuleProcess(ModuleProcess) - Constructor for class ru.ispras.retrascope.model.basis.ModuleProcess
Constructs object as a copy of the specified process.
ModuleProperty - Class in ru.ispras.retrascope.result.property
Named module-level property container.
ModuleProperty(DecStatement, String, ModuleProperty) - Constructor for class ru.ispras.retrascope.result.property.ModuleProperty
Constructs the object with the specified parameters.
ModuleSimulator - Class in ru.ispras.retrascope.engine.efsm.simulator
A simulator for EfsmModule.
ModuleSimulator(EfsmModule) - Constructor for class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
Constructs a simulator for the specified EFSM module.
ModuleSimulator.ModuleSimulationSnapshot - Class in ru.ispras.retrascope.engine.efsm.simulator
 

N

NAME - Static variable in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddClockDetectBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddPathCounterBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgAssertBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgBlockSeqBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgEmptyCaseBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgEventListToNodeBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgInitialProcessBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgOneBlockProcessBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgRangedSwitchBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgStatisticBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgVarRangeBlockBackend
The backend name.
NAME - Static variable in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
The backend name.
name - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable
 
nearStatement(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns variable declaration container that is closest to the specified statement.
nearStatement(Statement, Enum<?>) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns closest statement of the specified type to the specified statement.
NearUncoverChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
The class representing a "nearest uncovered transition" priority-based heuristic for choosing a transitions to traverse.
NearUncoverChooser(Efsm, EfsmTransitionCoverage) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.NearUncoverChooser
Creates a new NearUncoverChooser for the specified EFSM and its coverage.
NEW_VAR_PREFIX - Static variable in class ru.ispras.retrascope.model.basis.DeclarationUtils
Prefix for new variables that are created by the tool.
newBufferedReader(String) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
Returns reader for the file with the specified full name.
newBufferedReader(InputStream) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
Returns reader for the specified stream object.
newBufferedReader(Path) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
Returns reader for the specified path object.
newBufferedWriter(OutputStream) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
Returns writer to the specified stream object.
newBufferedWriter(File) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
Returns writer to the specified file object.
newBufferedWriter(Path) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
Returns writer to the specified path object.
newFile(String) - Static method in class ru.ispras.retrascope.basis.FileCreator
Creates a new file with the given name.
newPrintWriter(File) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
Returns writer to the specified file object.
next() - Method in class ru.ispras.retrascope.result.test.Sequence
 
NO_BACKEND - Static variable in class ru.ispras.retrascope.basis.Engine
Parameter that disables all the engine backends.
NodeOrthogonalizer - Class in ru.ispras.retrascope.util
Component that performs an orthogonalization of nodes.
NodeUtils - Class in ru.ispras.retrascope.util
Utility methods for Node objects.

O

onAssertBegin(CfgAssertStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onAssertBegin(CfgAssertStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onAssertBegin(CfgAssertStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting CfgAssertStatement node.
onAssertBegin(CfgAssertStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgAssertBackend
 
onAssertEnd(CfgAssertStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onAssertEnd(CfgAssertStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting CfgAssertStatement node.
onAssignment(HlddTerminalNode) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddUnusedVariableBackend
 
onAssignment(HlddTerminalNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onAssignment(HlddTerminalNode) - Method in class ru.ispras.retrascope.model.hldd.HlddEmptyVisitor
 
onAssignment(HlddTerminalNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Visits an assignment node.
onBlockBegin(CfgBlockStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onBlockBegin(CfgBlockStatement) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddClockDetectBackend
 
onBlockBegin(CfgBlockStatement) - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
 
onBlockBegin(CfgBlockStatement) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
onBlockBegin(CfgBlockStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onBlockBegin(CfgBlockStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting CfgBlockStatement node.
onBlockBegin(CfgBlockStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBlockSeqBackend
 
onBlockEnd(CfgBlockStatement) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgSsaBlockVisitor
 
onBlockEnd(CfgBlockStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onBlockEnd(CfgBlockStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting CfgBlockStatement node.
onCaseBegin(CfgCaseStatement) - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
 
onCaseBegin(CfgCaseStatement) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
onCaseBegin(CfgCaseStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onCaseBegin(CfgCaseStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting CfgCaseStatement node.
onCaseEnd(CfgCaseStatement) - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
 
onCaseEnd(CfgCaseStatement) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
onCaseEnd(CfgCaseStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onCaseEnd(CfgCaseStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting CfgCaseStatement node.
onConditionBegin(HlddConditionNode) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddUnusedVariableBackend
 
onConditionBegin(HlddConditionNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onConditionBegin(HlddConditionNode) - Method in class ru.ispras.retrascope.model.hldd.HlddEmptyVisitor
 
onConditionBegin(HlddConditionNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Starts visiting a condition node.
onConditionEnd(HlddConditionNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onConditionEnd(HlddConditionNode) - Method in class ru.ispras.retrascope.model.hldd.HlddEmptyVisitor
 
onConditionEnd(HlddConditionNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Finishes visiting a condition node.
oneConstAnotherNot(Node, Node) - Static method in class ru.ispras.retrascope.util.NodeUtils
Checks that one node is a constant, but another is not for the two specified.
onEdgeBegin(HlddEdge) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddUnusedVariableBackend
 
onEdgeBegin(HlddEdge) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onEdgeBegin(HlddEdge) - Method in class ru.ispras.retrascope.model.hldd.HlddEmptyVisitor
 
onEdgeBegin(HlddEdge) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Starts visiting a value node.
onEdgeEnd(HlddEdge) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onEdgeEnd(HlddEdge) - Method in class ru.ispras.retrascope.model.hldd.HlddEmptyVisitor
 
onEdgeEnd(HlddEdge) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Finishes visiting a value node.
onEvent(Event) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onEvent(Event) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has encountered the specified event.
onEventListBegin(EventList) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onEventListBegin(EventList) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified event list.
onEventListEnd(EventList) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onEventListEnd(EventList) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that walker has finished walking across the specified event list.
onGraphBegin(PrintWriter, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print the graph open tag.
onGraphBegin(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print the graph open tag.
onGraphEnd(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print the graph open tag.
onGraphMlBegin(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print the GraphML title tag to GraphML file.
onGraphMlEnd(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print the GraphML close tag to GraphML file.
onHlddBegin(Hldd) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddUnusedVariableBackend
 
onHlddBegin(Hldd) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddVariableAnalyzerBackend
 
onHlddBegin(Hldd) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onHlddBegin(Hldd) - Method in class ru.ispras.retrascope.model.hldd.HlddEmptyVisitor
 
onHlddBegin(Hldd) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Starts visiting Hldd.
onHlddEnd(Hldd) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onHlddEnd(Hldd) - Method in class ru.ispras.retrascope.model.hldd.HlddEmptyVisitor
 
onHlddEnd(Hldd) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Finishes visiting Hldd.
onLoopBegin(CfgLoopStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onLoopBegin(CfgLoopStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onLoopBegin(CfgLoopStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting CfgLoopStatement node.
onLoopEnd(CfgLoopStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onLoopEnd(CfgLoopStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting CfgLoopStatement node.
onLoopEnd(CfgLoopStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onModelBegin(Model) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onModelBegin(Model) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddClockDetectBackend
 
onModelBegin(Model) - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyVisitor
 
onModelBegin(Model) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onModelBegin(Model) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onModelBegin(Model) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvVisitor
 
onModelBegin(Model) - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
onModelBegin(Model) - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Starts visiting Model object.
onModelBegin(Model) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onModelEnd(Model) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onModelEnd(Model) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onModelEnd(Model) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
onModelEnd(Model) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onModelEnd(Model) - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
onModelEnd(Model) - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Finishes visiting Model object.
onModelEnd(Model) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddUnusedVariableBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddVariableAnalyzerBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddClockedVisitorBase
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefCheckerVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
onModuleBegin(Module) - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Starts visiting Module node.
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgInitialProcessBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneBlockProcessBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgVarRangeBlockBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddClockDetectBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyVisitor
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddUnusedVariableBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddVariableAnalyzerBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefCheckerVisitor
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvVisitor
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
onModuleEnd(Module) - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Finishes visiting Module node.
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgEventListToNodeBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgVarRangeBlockBackend
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddClockDetectBackend
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddUnusedVariableBackend
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.HlddVariableAnalyzerBackend
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
onProcessBegin(ModuleProcess) - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Starts visiting ModuleProcess node.
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddClockDetectBackend
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyVisitor
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
onProcessEnd(ModuleProcess) - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Finishes visiting ModuleProcess node.
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onRootBegin() - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCVisitor
 
onRootBegin() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onRootBegin() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
 
onRootBegin() - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
onRootBegin() - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Notifies that processing has been started.
onRootBegin(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddEmptyVisitor
 
onRootBegin(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Starts visiting the root node of a Hldd.
onRootEnd() - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCVisitor
 
onRootEnd() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onRootEnd() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
 
onRootEnd() - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
onRootEnd() - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Notifies that processing has been finished.
onRootEnd(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddEmptyVisitor
 
onRootEnd(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Finishes visiting the root node of a Hldd.
onSequenceBegin(Sequence) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onSequenceBegin(Sequence) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified sequence.
onSequenceEnd(Sequence) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onSequenceEnd(Sequence) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has finished walking across the specified sequence.
onSetProgress(Engine, int) - Method in interface ru.ispras.retrascope.basis.EngineEventHandler
It is called when an engine updates the progress.
onStateBegin(EfsmState) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onStateBegin(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.EfsmEmptyVisitor
 
onStateBegin(EfsmState) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified EFSM state has been started.
onStateEnd(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.EfsmEmptyVisitor
 
onStateEnd(EfsmState) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified EFSM state has been finished.
onStatementBegin(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
onStatementBegin(Statement) - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Starts visiting Statement statement.
onStatementEnd(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
 
onStatementEnd(Statement) - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
Finishes visiting Statement statement.
onStatementEnd(Statement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgVarRangeBlockBackend
 
onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
 
onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onSwitchBegin(CfgSwitchStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting CfgSwitchStatement node.
onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgEmptyCaseBackend
 
onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgRangedSwitchBackend
 
onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onSwitchEnd(CfgSwitchStatement) - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
 
onSwitchEnd(CfgSwitchStatement) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
 
onSwitchEnd(CfgSwitchStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onSwitchEnd(CfgSwitchStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting CfgSwitchStatement node.
onTestBegin(Test) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onTestBegin(Test) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified test.
onTestEnd(Test) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onTestEnd(Test) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has finished walking across the specified test.
onTransactionBegin(Transaction) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onTransactionBegin(Transaction) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified transaction.
onTransactionEnd(Transaction) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onTransactionEnd(Transaction) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has finished walking across the specified transaction.
onTransitionBegin(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyVisitor
 
onTransitionBegin(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onTransitionBegin(EfsmTransition) - Method in class ru.ispras.retrascope.model.efsm.EfsmEmptyVisitor
 
onTransitionBegin(EfsmTransition) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified EFSM transition has been started.
onTransitionEnd(EfsmTransition) - Method in class ru.ispras.retrascope.model.efsm.EfsmEmptyVisitor
 
onTransitionEnd(EfsmTransition) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified EFSM transition has been finished.
onVariable(String, Node) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onVariable(String, Node) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has encountered the specified variable.
onVectorBegin(TestVector) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onVectorBegin(TestVector) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified vector.
onVectorEnd(TestVector) - Method in class ru.ispras.retrascope.result.test.EmptyTestVisitor
 
onVectorEnd(TestVector) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has finished walking across the specified vector.
onWaitBegin(CfgWaitStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onWaitBegin(CfgWaitStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onWaitBegin(CfgWaitStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting CfgWaitStatement node.
onWaitBegin(CfgWaitStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onWaitEnd(CfgWaitStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
 
onWaitEnd(CfgWaitStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting CfgWaitStatement node.
orthogonalizeNodes(Collection<Collection<Node>>) - Static method in class ru.ispras.retrascope.util.NodeOrthogonalizer
Orthogonalizes the specified collections of nodes into orthogonal nodes.
OUT_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlPrinterEngine
The parameter that keeps the name for the generated GraphML file.
OUT_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
The parameter for output C file name.
OUT_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
The command line parameters.
OUT_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.gadd.printer.graphml.GaddGraphMlPrinter
The parameter that keeps the name for the generated GraphML file.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddPropertyExtractor
 
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.gadd.printer.graphml.GaddGraphMlPrinter
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.SmvPrinterEngine
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
The engine output entity type.
outputsMemory - Variable in class ru.ispras.retrascope.engine.basis.Simulator
 
OVERWRITE - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
When specified, allows the engine to overwrite testbench files.

P

Parameter - Class in ru.ispras.retrascope.basis
This class represents a specification of a command line parameter.
Parameter(String, boolean, String) - Constructor for class ru.ispras.retrascope.basis.Parameter
Constructs a parameter.
Parameter(String, String[], String) - Constructor for class ru.ispras.retrascope.basis.Parameter
Constructs a parameter.
PARAMETERS - Static variable in class ru.ispras.retrascope.basis.Configuration
The configuration parameters.
Parameters - Class in ru.ispras.retrascope.basis
This class represents a specification of command line parameters.
Parameters() - Constructor for class ru.ispras.retrascope.basis.Parameters
 
PARAMETERS - Static variable in class ru.ispras.retrascope.Retrascope
 
parse(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.basis.HdlParser
Parses input entities.
parse(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.verilog.VerilogParser
 
parse(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.vhdl.VhdlParser
 
parse(String) - Static method in class ru.ispras.retrascope.util.LogLevel
Parse a level name string into a Level.
parseCommandLine(String...) - Method in class ru.ispras.retrascope.basis.Engine
Parses the command line.
parseCommandLine(String...) - Method in class ru.ispras.retrascope.basis.Parameters
Parses the command line.
parseCounterexamples(String) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
Parses a file for counterexamples.
parseLine(String) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
 
parseLine(String) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvSpecificationParser
 
parseLine(String) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
 
parseSpecifications(String) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvSpecificationParser
Parses a file for specification statistics.
parseStats(String) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
Parses checker output for run statistics.
Phase - Class in ru.ispras.retrascope.model.gadd
Phase of GaddModel model path.
Phase(Integer) - Constructor for class ru.ispras.retrascope.model.gadd.Phase
Creates phase object with the specified phase value.
PhasedDescriptor - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.formula
This class represents a descriptor of a variable labeled by phases.
PhasedDescriptor(NodeVariable, List<Integer>) - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.PhasedDescriptor
Constructs a descriptor for a variable.
PhasedDescriptor() - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.PhasedDescriptor
Constructs a descriptor for a guard.
PhaseSeqEdge - Class in ru.ispras.retrascope.engine.cfg.transformer.gadd
Edge for phase sequences graph.
PhaseSeqEdge() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.gadd.PhaseSeqEdge
 
print(String, CfgModel) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
Print the control flow graph to GraphML file.
print(String, EfsmModel) - Static method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
Prints the specified EfsmModel model to GraphML file.
PRINT_STYLE_PARAM - Static variable in class ru.ispras.retrascope.basis.Configuration
The predefined parameters.
printEdge(PrintWriter, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print edge to GraphML file.
printEdge(PrintWriter, String, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print edge with label to GraphML file.
printEdge(PrintWriter, String, String, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print edge with the specified parameters to GraphML file.
printEdge(PrintWriter, String, String, String, String, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Prints edge with the specified parameters to GraphML file.
printEfsmTransitionCoverage(Map<Sequence, EfsmTransitionCoverage>, Test) - Static method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulatorUtils
Print information about EFSM transition coverage that the specified test reaches.
PrinterEngine - Interface in ru.ispras.retrascope.engine.basis
The interface for engines that print something to the file.
PrinterWalkerEngine - Class in ru.ispras.retrascope.engine.basis
Abstract engine that walks model and prints the result in some format.
PrinterWalkerEngine(String, EntityType, EntityType, ModelWalker...) - Constructor for class ru.ispras.retrascope.engine.basis.PrinterWalkerEngine
Constructs object with the specified identifier, input/output types, walkers.
printGroup(PrintWriter, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print group node with this label.
printGroup(PrintWriter, String, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Prints group node with the specified identifier, label and color.
printIntsNormal() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Disables integer printing as 32-bit vector.
printMaps(SmvExprPrinter) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
Returns the description of data arrays in SMV format using the specified printer.
printNode(PrintWriter, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print node.
printNode(PrintWriter, String, String, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print node with this label, form, color to GraphML file.
printNode(PrintWriter, String, String, String, String, boolean) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print node with this cropping label, form, color to GraphML file.
processChildren(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.BfsWalker
 
processChildren(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.DfsWalker
 
processChildren(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Process child statements of the specified one.
ProcessProperty - Class in ru.ispras.retrascope.result.property
Process-level named group of properties.
ProcessProperty(String, ModuleProperty, Node, List<GuardedAction>) - Constructor for class ru.ispras.retrascope.result.property.ProcessProperty
Constructs object with specified parameters.
ProcessProperty(String, ModuleProperty, Node) - Constructor for class ru.ispras.retrascope.result.property.ProcessProperty
Constructs object with specified parameters.
ProcessProperty(String, ModuleProperty) - Constructor for class ru.ispras.retrascope.result.property.ProcessProperty
Constructs object with the specified parameters.
processStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Processes the specified model statement.
product(EfsmModule, Efsm...) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Constructs a synchronous composition from the specified list of EFSMs.
properties - Variable in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
 
PropertyEntity - Class in ru.ispras.retrascope.result.property
Entity that contains properties that are extracted from models.
PropertyEntity() - Constructor for class ru.ispras.retrascope.result.property.PropertyEntity
Default constructor.
putDefineCondition(ModuleProcess, Node) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 
putUseCondition(ModuleProcess, Node) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
 

R

RandomEfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
The class representing a random-based heuristic for choosing a transitions to traverse.
RandomEfsmTransitionChooser(Efsm, EfsmState, long) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.RandomEfsmTransitionChooser
Creates a new RandomEfsmTransitionChooser for the specified EFSM and its state.
ranged() - Method in class ru.ispras.retrascope.model.basis.Assignment
Checks whether this object contains a ranged target variable.
RangedVariableUtils - Class in ru.ispras.retrascope.model.basis
Utility methods for ranged variable class.
readVector(TestVector) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Reads the specified values and puts them to internal memory.
ReadWriteUtils - Class in ru.ispras.retrascope.util
Read and write utilities.
regMemory - Variable in class ru.ispras.retrascope.engine.basis.Simulator
 
remove(RangedVariable) - Method in class ru.ispras.retrascope.model.basis.EventList
Removes an event on the specified ranged variable.
remove(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.EventList
Removes an event on the specified variable.
remove(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
Removes the specified event from object's sensitivity list.
remove(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
Removes the specified statement from children.
remove(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
Removes the specified value from the descriptor.
remove(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Removes the specified value from this case statement.
remove(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
 
remove(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
remove(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Removes the specified state from this EFSM object.
remove(EfsmTransition) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Removes the specified transition from this object.
remove() - Method in class ru.ispras.retrascope.result.test.Sequence
 
removeAll() - Method in class ru.ispras.retrascope.model.basis.Statement
Removes all the child statements.
removeAssignments() - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
Removes all assignments.
removeAssignments() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
removeAssignments() - Method in class ru.ispras.retrascope.model.efsm.Action
 
removeChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
 
removeChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
removeChild(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddNonTerminalNode
Removes the specified HlddNode from the children nodes.
removeDeclaration(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Removes the declaration for the variable with the specified name.
removeDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Removes the declaration for the variable.
removeDeclaration(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Removes declaration of variable with the specified name.
removeDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Removes declaration of the specified variable.
removeEvents() - Method in class ru.ispras.retrascope.result.test.TestVector
Clears all the internal events for this objects.
removeHldds(Collection<Hldd>) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
Removes the specified HLDDs from this process.
removeNode(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
Removes the specified node from the HLDD.
removeNodes(Collection<HlddNode>) - Method in class ru.ispras.retrascope.model.hldd.Hldd
Removes the specified nodes from the HLDD.
removeParent(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
Removes link with the specified statement.
removeParent(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
 
removeProcesses() - Method in class ru.ispras.retrascope.model.basis.Module
Remove internal processes.
removeValues() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
Removes all the related values for this descriptor.
removeValues() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Removes all values of this case statement.
removeWrongVariableNodes(Hldd, NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
Removes all terminal nodes from the specified HLDD which are not associated with the specified variable.
replace(Statement, Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Replaces the first statement by the second statement.
replaceLogicValues(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Replaces lowercase true and false values with their SMV equivalents.
RESERVED_WORDS - Static variable in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvReservedWords
All SMV language reserved words.
reset() - Method in class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
Resets this generator.
reset() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Resets this simulator, that is, returns it at the same state as it had immediately after construction.
reset() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Resets this simulator, that is, returns it to an uninitialised state.
reset() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
reset() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
reset() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
 
reset() - Method in class ru.ispras.retrascope.result.test.TestCoverage
Resets this coverage to the initial state.
resetCoverage() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
Resets a test coverage achieved by this simulator.
resetCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
resetCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
resetMaps() - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
Resets MAP data type container.
Retrascope - Class in ru.ispras.retrascope
The main class of the project.
Retrascope.ToolRun - Class in ru.ispras.retrascope
The tool run information.
RetrascopeException - Exception in ru.ispras.retrascope.basis.exception
The unchecked exception to be thrown by Retrascope components to indicate an occurrence of a programmatic error which is not addressed by the default RuntimeException subclasses.
RetrascopeException(String) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeException
Constructs an exception with the specified message.
RetrascopeException(String, Throwable) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeException
Constructs an exception with the specified message and root exception.
RetrascopeException(Exception) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeException
Constructs an exception that incapsulates the specified one.
RST_DELAY - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Delay in ticks through which the reset signal should be kept active for completed resetting.
RST_LVL - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Active level of reset signal.
RST_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Name of reset signal.
ru.ispras.retrascope - package ru.ispras.retrascope
 
ru.ispras.retrascope.basis - package ru.ispras.retrascope.basis
 
ru.ispras.retrascope.basis.exception - package ru.ispras.retrascope.basis.exception
 
ru.ispras.retrascope.engine.basis - package ru.ispras.retrascope.engine.basis
 
ru.ispras.retrascope.engine.cfg - package ru.ispras.retrascope.engine.cfg
 
ru.ispras.retrascope.engine.cfg.extractor.iface - package ru.ispras.retrascope.engine.cfg.extractor.iface
 
ru.ispras.retrascope.engine.cfg.generator.test.random - package ru.ispras.retrascope.engine.cfg.generator.test.random
 
ru.ispras.retrascope.engine.cfg.printer.c - package ru.ispras.retrascope.engine.cfg.printer.c
 
ru.ispras.retrascope.engine.cfg.printer.graphml - package ru.ispras.retrascope.engine.cfg.printer.graphml
 
ru.ispras.retrascope.engine.cfg.printer.graphml.depend - package ru.ispras.retrascope.engine.cfg.printer.graphml.depend
 
ru.ispras.retrascope.engine.cfg.transformer.gadd - package ru.ispras.retrascope.engine.cfg.transformer.gadd
 
ru.ispras.retrascope.engine.cfg.transformer.gadd.backend - package ru.ispras.retrascope.engine.cfg.transformer.gadd.backend
 
ru.ispras.retrascope.engine.efsm.extractor.property - package ru.ispras.retrascope.engine.efsm.extractor.property
 
ru.ispras.retrascope.engine.efsm.generator.test - package ru.ispras.retrascope.engine.efsm.generator.test
 
ru.ispras.retrascope.engine.efsm.generator.test.fate - package ru.ispras.retrascope.engine.efsm.generator.test.fate
 
ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction - package ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
 
ru.ispras.retrascope.engine.efsm.printer.graphml - package ru.ispras.retrascope.engine.efsm.printer.graphml
 
ru.ispras.retrascope.engine.efsm.simulator - package ru.ispras.retrascope.engine.efsm.simulator
 
ru.ispras.retrascope.engine.gadd.extractor.property - package ru.ispras.retrascope.engine.gadd.extractor.property
 
ru.ispras.retrascope.engine.gadd.printer.graphml - package ru.ispras.retrascope.engine.gadd.printer.graphml
 
ru.ispras.retrascope.engine.gadd.transformer.efsm - package ru.ispras.retrascope.engine.gadd.transformer.efsm
 
ru.ispras.retrascope.engine.gadd.transformer.hldd - package ru.ispras.retrascope.engine.gadd.transformer.hldd
 
ru.ispras.retrascope.engine.gadd.transformer.hldd.formula - package ru.ispras.retrascope.engine.gadd.transformer.hldd.formula
 
ru.ispras.retrascope.engine.gadd.transformer.hldd.version - package ru.ispras.retrascope.engine.gadd.transformer.hldd.version
 
ru.ispras.retrascope.engine.hldd.printer.smv - package ru.ispras.retrascope.engine.hldd.printer.smv
 
ru.ispras.retrascope.engine.hldd.printer.smv.basis - package ru.ispras.retrascope.engine.hldd.printer.smv.basis
 
ru.ispras.retrascope.engine.hldd.printer.smv.property - package ru.ispras.retrascope.engine.hldd.printer.smv.property
 
ru.ispras.retrascope.engine.hldd.printer.smv.spec - package ru.ispras.retrascope.engine.hldd.printer.smv.spec
 
ru.ispras.retrascope.engine.hldd.printer.smv.usedef - package ru.ispras.retrascope.engine.hldd.printer.smv.usedef
 
ru.ispras.retrascope.engine.hldd.printer.smv.utils - package ru.ispras.retrascope.engine.hldd.printer.smv.utils
 
ru.ispras.retrascope.engine.smv.launcher - package ru.ispras.retrascope.engine.smv.launcher
 
ru.ispras.retrascope.engine.smv.test.parser - package ru.ispras.retrascope.engine.smv.test.parser
 
ru.ispras.retrascope.engine.smv.test.parser.parsers - package ru.ispras.retrascope.engine.smv.test.parser.parsers
 
ru.ispras.retrascope.engine.test.printer.testbench - package ru.ispras.retrascope.engine.test.printer.testbench
 
ru.ispras.retrascope.engine.test.printer.testbench.verilog - package ru.ispras.retrascope.engine.test.printer.testbench.verilog
 
ru.ispras.retrascope.engine.test.printer.testbench.vhdl - package ru.ispras.retrascope.engine.test.printer.testbench.vhdl
 
ru.ispras.retrascope.model.basis - package ru.ispras.retrascope.model.basis
 
ru.ispras.retrascope.model.basis.jaxb - package ru.ispras.retrascope.model.basis.jaxb
 
ru.ispras.retrascope.model.basis.memory - package ru.ispras.retrascope.model.basis.memory
 
ru.ispras.retrascope.model.basis.walker - package ru.ispras.retrascope.model.basis.walker
 
ru.ispras.retrascope.model.cfg - package ru.ispras.retrascope.model.cfg
 
ru.ispras.retrascope.model.efsm - package ru.ispras.retrascope.model.efsm
 
ru.ispras.retrascope.model.gadd - package ru.ispras.retrascope.model.gadd
 
ru.ispras.retrascope.model.hldd - package ru.ispras.retrascope.model.hldd
 
ru.ispras.retrascope.parser.basis - package ru.ispras.retrascope.parser.basis
 
ru.ispras.retrascope.parser.basis.backend - package ru.ispras.retrascope.parser.basis.backend
 
ru.ispras.retrascope.parser.verilog - package ru.ispras.retrascope.parser.verilog
 
ru.ispras.retrascope.parser.vhdl - package ru.ispras.retrascope.parser.vhdl
 
ru.ispras.retrascope.parser.vhdl.mapper - package ru.ispras.retrascope.parser.vhdl.mapper
 
ru.ispras.retrascope.result.cfginterface - package ru.ispras.retrascope.result.cfginterface
 
ru.ispras.retrascope.result.property - package ru.ispras.retrascope.result.property
 
ru.ispras.retrascope.result.test - package ru.ispras.retrascope.result.test
 
ru.ispras.retrascope.result.test.efsm - package ru.ispras.retrascope.result.test.efsm
 
ru.ispras.retrascope.result.test.jaxb - package ru.ispras.retrascope.result.test.jaxb
 
ru.ispras.retrascope.result.testbench - package ru.ispras.retrascope.result.testbench
 
ru.ispras.retrascope.result.usedef - package ru.ispras.retrascope.result.usedef
 
ru.ispras.retrascope.util - package ru.ispras.retrascope.util
 
runChecker(String, String...) - Method in class ru.ispras.retrascope.util.SmvChecker
Runs the checker using the specified arguments.
runTest(String...) - Method in class ru.ispras.retrascope.util.ToolTest
Runs the tool with the specified arguments.

S

SatSolver - Class in ru.ispras.retrascope.util
Embedded (project-level) satisfiability (SAT) solver.
SemiRandomEfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
The class representing a random-based heuristic for choosing a transitions to traverse.
SemiRandomEfsmTransitionChooser(Efsm, EfsmState, EfsmTransitionCoverage, long) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.SemiRandomEfsmTransitionChooser
Creates a new SemiRandomEfsmTransitionChooser for the specified EFSM, its state, and coverage.
Sequence - Class in ru.ispras.retrascope.result.test
The representation of a test sequence.
Sequence() - Constructor for class ru.ispras.retrascope.result.test.Sequence
Constructs an empty sequence.
Sequence(TestVector) - Constructor for class ru.ispras.retrascope.result.test.Sequence
Constructs the sequence that contains the specified vector only.
SequenceModel - Class in ru.ispras.retrascope.result.test
The ordered container for sequences.
SequenceModel() - Constructor for class ru.ispras.retrascope.result.test.SequenceModel
Constructs an empty sequence model.
SequentialStatement - Class in ru.ispras.retrascope.model.basis
Class for control flow graph processes internal statements.
SequentialStatement() - Constructor for class ru.ispras.retrascope.model.basis.SequentialStatement
Default constructor.
SequentialStatement(SequentialStatement) - Constructor for class ru.ispras.retrascope.model.basis.SequentialStatement
Constructs a copy of the specified object.
setActive(boolean) - Method in class ru.ispras.retrascope.basis.Backend
Makes the backend active or not depending on the flag value.
setAscending(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the specified value to the non-initialized ascending field.
setAssignedValue(Node) - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
Sets the assigned expression.
setBase(DataType) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the specified value to the non-initialized base field.
setBin() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Sets binary bit vector printing mode.
setBlocking() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
Mark the statement as blocking (non-concurrent).
setBmcBound(int) - Static method in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
Sets the specified value as the bound for bounded model checking.
setClock(NodeVariable) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
Sets the specified variable as a clock-like for the top-level container.
setCollectUseDef(boolean) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
Enable or disable use/def condition collection.
setCommandLine(String...) - Method in class ru.ispras.retrascope.basis.Arguments
Parses the given command line.
setConcurrent() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
Mark this statement as concurrent.
setCondition(Node) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
Sets loop condition or iteration number.
setCondition(Node) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
Sets new Node condition.
setCurrentState(EfsmState) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
setDebugFile(File) - Method in class ru.ispras.retrascope.basis.Backend
Initializes the backend's debug file.
setDebugMode(boolean) - Method in class ru.ispras.retrascope.basis.Engine
Enables\disables engine's debug mode.
setDefault(boolean) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Sets default type of this case statement object.
setDefault() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
Sets the node as a default node.
setDefaultDirectory(String) - Static method in class ru.ispras.retrascope.basis.FileCreator
Sets the name of the default directory.
setEventList(EventList) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
Associates the specified EventList with the parser.
setEventList(EventList) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
Sets new EventList sensitivity list.
setEventList(EventList) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
setFileName(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
Sets the specified string as name of the GraphML file to be generated.
setGaddModel(GaddModel) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvVisitor
 
setGaddModel(GaddModel) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvVisitor
Adds a GADD model to the visitor.
setHex() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Sets hexadecimal bit vector printing mode.
setHigh(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the specified value to the non-initialized high field.
setImmediateAssignment(boolean) - Method in class ru.ispras.retrascope.model.hldd.Hldd
Sets an immediate assignment property.
setIndexRanges(List<Range>) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Fills the related list of index ranges with elements from the specified one.
setIndices(List<Node>) - Method in class ru.ispras.retrascope.model.basis.Assignment
Sets the new indices for target variable.
setInitialState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Marks the specified state of this EFSM as an initial state.
setInitialValue(Node) - Method in class ru.ispras.retrascope.model.basis.Declaration
Sets new initial value to the declared variable.
setInvariant(Node) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
Sets the specified expression as a process-level invariant.
setLastTraversed(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
setLeft(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the specified value to the non-initialized left field.
setLength(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the specified value to the non-initialized length field.
setLevel(int) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Sets the level of this node.
setLevel(Level) - Static method in class ru.ispras.retrascope.util.Log
Sets the log level.
setLow(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the specified value to the non-initialized low field.
setModel(GaddModel) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddClockDetectBackend
Sets the specified model as the target one.
setNuSmv() - Method in class ru.ispras.retrascope.util.SmvChecker
Enables NuSMV checker.
setNuXmv() - Method in class ru.ispras.retrascope.util.SmvChecker
Enables NuXMV checker.
setOriginalRange(Range) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the original range field.
setOriginalVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Keeps the link to the specified object.
setOutputType(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
Sets the given output type of the engine.
setParent(Statement) - Method in class ru.ispras.retrascope.model.basis.Module
 
setParent(Statement) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
 
setParent(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
Sets the specified statement as parent.
setParent(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
 
setParent(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Sets the specified HlddNode as the parent node.
setRange(Range) - Method in class ru.ispras.retrascope.model.basis.Assignment
Sets the range for this object's target field.
setRange(Range) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the specified value to the non-initialized range field.
setResetVariable(NodeVariable) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
Sets the specified variable as reset-like one.
setReverseRange(Range) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the specified value to the non-initialized reverse_range field.
setRight(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the specified value to the non-initialized right field.
setRootNode(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
Sets the root node.
setSignalInterface(CfgInterface) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
Sets the interface which would be used during parsing.
setSingleTestable(boolean) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Make the object to be non or single testable depending on the value of the specified parameter.
setSpecificationFile(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvVisitor
Adds the specification file to the visitor.
setSpecType(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
Sets the type of specifications to be checked.
setStatus(ModelVisitor.Status) - Method in class ru.ispras.retrascope.model.efsm.EfsmEmptyVisitor
 
setStatus(ModelVisitor.Status) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Sets internal status field to the specified value.
setTargetVariable(Node) - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
Sets the target variable.
setUseDefMap(Map<NodeVariable, UseDefContainer>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefCheckerVisitor
 
setUseDefMap(Map<NodeVariable, UseDefContainer>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvVisitor
Adds a variable-use/def map to the visitor.
setUseDefMap(Map<NodeVariable, UseDefContainer>) - Method in class ru.ispras.retrascope.model.hldd.HlddModel
 
setValue(Node) - Method in class ru.ispras.retrascope.model.basis.Assignment
Sets new value expression.
setValue(String, NodeValue) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
setValueFree(boolean) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
Sets the specified value to "free of values" flag.
setValues(Map<String, NodeValue>) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
setVariable(RangedVariable) - Method in class ru.ispras.retrascope.model.basis.Assignment
Sets the specified variable as objects' target.
setVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.hldd.Hldd
Sets the associated variable.
setVersionNumber(int) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the number of current version variable.
setWalkers(ModelWalker...) - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
Sets the specified walker sequence.
signal - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
 
Simulated - Interface in ru.ispras.retrascope.engine.basis
AN interface for components that simulate models.
simulatedModel - Variable in class ru.ispras.retrascope.engine.basis.Simulator
 
simulateSequence(Sequence) - Method in interface ru.ispras.retrascope.engine.basis.Simulated
Simulates processing of the specified input vector and returns produced output vector.
simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
simulateVector(TestVector) - Method in interface ru.ispras.retrascope.engine.basis.Simulated
Simulates processing of the specified input vector and returns produced output vector.
simulateVector(TestVector) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
simulateVector(TestVector) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
SimulationSnapshot - Class in ru.ispras.retrascope.engine.basis
The snapshot of simulation.
SimulationSnapshot(Simulated) - Constructor for class ru.ispras.retrascope.engine.basis.SimulationSnapshot
 
Simulator<T extends DecStatement> - Class in ru.ispras.retrascope.engine.basis
The class representing an abstract simulator.
Simulator(T) - Constructor for class ru.ispras.retrascope.engine.basis.Simulator
Constructs a simulator for the specified model.
SimulatorEngine - Class in ru.ispras.retrascope.engine.basis
The abstract class for engines of the simulator type.
SimulatorEngine(String, EntityType) - Constructor for class ru.ispras.retrascope.engine.basis.SimulatorEngine
Creates an engine with the specified ID and type of a simulated entity as input type.
singleTestable() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Checks whether this object can be tested as single one, or not.
SMV_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.SmvPrinterEngine
The command-line parameter.
SmvChecker - Class in ru.ispras.retrascope.util
This class represents the NuXmv model checker wrapper.
SmvChecker.Result - Enum in ru.ispras.retrascope.util
Result of checker execution.
SmvCounterexampleParser - Class in ru.ispras.retrascope.engine.smv.test.parser.parsers
This class is used to parse a SMV log file and construct a Test object.
SmvCounterexampleParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
Constructs a new parser object.
SmvExprPrinter - Class in ru.ispras.retrascope.engine.hldd.printer.smv.utils
This class represents the printer into *.smv format.
SmvExprPrinter() - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Default constructor.
SmvExprPrinter.ConstraintType - Enum in ru.ispras.retrascope.engine.hldd.printer.smv.utils
Types of NuXMV constraints.
SMVLOG - Static variable in class ru.ispras.retrascope.util.SmvChecker
 
SmvModelCheckerLauncher - Class in ru.ispras.retrascope.engine.smv.launcher
This engine checks the generated *.smv files with the model checker.
SmvModelCheckerLauncher() - Constructor for class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
Constructs a new engine object.
SmvPrinterEngine - Class in ru.ispras.retrascope.engine.hldd.printer.smv.basis
Base class for SMV printing engines.
SmvPrinterEngine(String) - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.basis.SmvPrinterEngine
 
SmvPrinterUtils - Class in ru.ispras.retrascope.engine.hldd.printer.smv.utils
This class contains static methods for *.smv file printing.
SmvReservedWords - Enum in ru.ispras.retrascope.engine.hldd.printer.smv.utils
This enum represents the SMV language reserved words.
SmvReservedWords.Operation - Enum in ru.ispras.retrascope.engine.hldd.printer.smv.utils
Specific SMV operations.
SmvSpecificationParser - Class in ru.ispras.retrascope.engine.smv.test.parser.parsers
This class is used to parse an SMV model file and extract information about specifications.
SmvSpecificationParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvSpecificationParser
Constructs a new parser.
SmvStatisticsParser - Class in ru.ispras.retrascope.engine.smv.test.parser.parsers
This class is used to parse an SMV log file and extract counterexample statistics.
SmvStatisticsParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
Constructs a new parser.
SmvTestParser - Class in ru.ispras.retrascope.engine.smv.test.parser
This engine parses the *.smvlog files generated by the model checker and constructs a new TestModel entity.
SmvTestParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.SmvTestParser
Constructs a new parser object.
solve(Node) - Static method in class ru.ispras.retrascope.util.SolverUtils
Solves the specified expression.
SOLVER_DEBUG - Static variable in class ru.ispras.retrascope.Retrascope
 
SOLVER_PROPERTY - Static variable in class ru.ispras.retrascope.Retrascope
 
SOLVER_VARIABLE - Static variable in class ru.ispras.retrascope.Retrascope
 
SolverUtils - Class in ru.ispras.retrascope.util
Utility methods to work with solver.
SPECIFICATION_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvPrinter
The command-line parameter.
splitByVar(Node, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.util.NodeUtils
Splits the specified node into two parts - one that depends exactly from the specified variables and another that does not depend.
standardize(Node) - Static method in class ru.ispras.retrascope.util.TransformerUtils
Replace operations in expression with standard counterparts.
standardize(Node, boolean) - Static method in class ru.ispras.retrascope.util.TransformerUtils
Replace operations in expression with standard counterparts.
start(Entity) - Method in class ru.ispras.retrascope.basis.Backend
Elaborates the specified entity.
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.basis.Engine
Processes entities of the input types and produces an entity of the output type.
start(Map<EntityType, Entity>, EngineEventHandler) - Method in class ru.ispras.retrascope.basis.Engine
Processes entities of the input types and produces an entity of the output type.
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.basis.ToolChain
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
 
start(Entity) - Method in class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
Elaborates the specified entity.
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
 
start(Entity) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddPathCounterBackend
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformer
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
Generates and returns tests for the specified EFSM modules.
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmModelSimulator
Simulates the specified input sequences on the specified EFSM modules and returns produced output sequences.
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddPropertyExtractor
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.gadd.printer.graphml.GaddGraphMlPrinter
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddTransformer
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddSmvPrinterBase
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.smv.test.parser.SmvTestParser
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
start(Model) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Starts walking the specified model.
start(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Starts walking the specified statement.
start(Entity) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgStatisticBackend
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.basis.HdlParser
 
start(VerilogDesign) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
start(Test) - Method in class ru.ispras.retrascope.result.test.TestWalker
Performs walking across the specified test.
State - Class in ru.ispras.retrascope.model.basis
The class representing a state of some model.
State() - Constructor for class ru.ispras.retrascope.model.basis.State
 
STATE_NOT_FOUND - Static variable in class ru.ispras.retrascope.model.efsm.Efsm
A string prefix for "state not found" error message.
STATE_NUM - Static variable in class ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer
State maximum number parameter.
STATE_VARIABLES - Static variable in class ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer
State-like variables names command line parameter.
Statement - Class in ru.ispras.retrascope.model.basis
Basic model component.
StatementType - Enum in ru.ispras.retrascope.model.basis
Model statement types.
StatementUtils - Class in ru.ispras.retrascope.model.basis
Utility methods for Statement class.
STYLE_DASH - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
STYLE_LINE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
SUB_ENDING - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Substituted variable suffix.
substitute(List<Statement>, String, Node) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Substitutes usages of variable with the specified name by the specified expression in all the elements of the specified collection.
substitute(Node, String, Node) - Static method in class ru.ispras.retrascope.util.TransformerUtils
Substitutes the given term for variables with the specified name at the specified expression and simplifies the result.
substituteAllBindings(Node, List<NodeBinding.BoundVariable>) - Static method in class ru.ispras.retrascope.util.NodeUtils
Substitutes variables that are used in the node by the specified bound variables.
substituteBackward(List<? extends AssignmentContainer>, Node) - Static method in class ru.ispras.retrascope.util.ModelTransformUtils
Performs backward substitution on the specified nodes to the specified expression.
substituteMaps(Node) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
Searches for DataTypeId.MAP values in the specified node and replaces them by generated array variables.
substituteVariables(Node, Map<String, NodeValue>) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Substitute variables in the expression by ones that are in mapping.
Substitutor - Class in ru.ispras.retrascope.engine.efsm.generator.test
 
Substitutor(Efsm) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
Constructs a substitutor for the specified EFSM.

T

TARGET_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
TemporalOperation - Enum in ru.ispras.retrascope.util
This enum represents SVA, PSL, LTL and CTL operators.
TemporalOperation.Family - Enum in ru.ispras.retrascope.util
Logic family.
Test - Class in ru.ispras.retrascope.result.test
The representation of a test.
Test() - Constructor for class ru.ispras.retrascope.result.test.Test
Constructs an empty test.
Test(List<Sequence>) - Constructor for class ru.ispras.retrascope.result.test.Test
Constructs a test containing the specified list of sequences.
TEST_LEN - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Generated test sequence length.
TEST_SEED - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Random seed value.
Testbench - Class in ru.ispras.retrascope.result.testbench
The representation of an abstract testbench.
Testbench(Path, Set<Path>) - Constructor for class ru.ispras.retrascope.result.testbench.Testbench
Constructs a new testbench with the specified testbench file and additional files (for example, test pattern and library files).
TestbenchPrinterEngine - Class in ru.ispras.retrascope.engine.test.printer.testbench
Testbench printer abstract engine.
TestbenchPrinterEngine(String, EntityType) - Constructor for class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Creates a new TestVhdlTestbenchPrinter instance.
TestCoverage - Class in ru.ispras.retrascope.result.test
The representation of an abstract test coverage.
TestCoverage() - Constructor for class ru.ispras.retrascope.result.test.TestCoverage
 
TestGenerator - Class in ru.ispras.retrascope.engine.basis
The class representing an abstract test generator.
TestGenerator() - Constructor for class ru.ispras.retrascope.engine.basis.TestGenerator
 
TestGeneratorEngine - Class in ru.ispras.retrascope.engine.basis
The abstract class for engines of the test generator type.
TestGeneratorEngine(String, EntityType) - Constructor for class ru.ispras.retrascope.engine.basis.TestGeneratorEngine
Creates an engine with the specified ID and type of a tested entity as input type.
TestMinimiser - Class in ru.ispras.retrascope.engine.efsm.generator.test
The class which performs test minimisation.
TestModel - Class in ru.ispras.retrascope.result.test
The ordered container for tests.
TestModel() - Constructor for class ru.ispras.retrascope.result.test.TestModel
Constructs an empty test model.
TestModel(Test) - Constructor for class ru.ispras.retrascope.result.test.TestModel
Constructs object with the specified test inside.
TestModelUtils - Class in ru.ispras.retrascope.result.test
Utility methods for TestModel class and it's components.
TestVector - Class in ru.ispras.retrascope.result.test
The representation of an input/output vector of variables.
TestVector() - Constructor for class ru.ispras.retrascope.result.test.TestVector
Constructs an empty vector.
TestVector(Transaction) - Constructor for class ru.ispras.retrascope.result.test.TestVector
Constructs a vector containing the specified transaction.
TestVector(Collection<Transaction>, EventList) - Constructor for class ru.ispras.retrascope.result.test.TestVector
Constructs a vector containing the specified transactions and events.
TestVerilogTestbenchPrinter - Class in ru.ispras.retrascope.engine.test.printer.testbench.verilog
Test printer to Verilog testbench format.
TestVerilogTestbenchPrinter() - Constructor for class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
Creates a new TestVhdlTestbenchPrinter instance.
TestVhdlTestbenchPrinter - Class in ru.ispras.retrascope.engine.test.printer.testbench.vhdl
The engine that makes VHDL testbenches from tests.
TestVhdlTestbenchPrinter() - Constructor for class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
Creates a new TestVhdlTestbenchPrinter instance.
TestVisitor - Interface in ru.ispras.retrascope.result.test
The interface for test visitors.
TestWalker - Class in ru.ispras.retrascope.result.test
The walker for the Test class.
TestWalker(TestVisitor) - Constructor for class ru.ispras.retrascope.result.test.TestWalker
Constructs a walker for the specified visitor.
toBlock() - Method in class ru.ispras.retrascope.model.efsm.Action
Transforms to concurrent basic block node.
toCompactString() - Method in enum ru.ispras.retrascope.model.basis.EventType
Returns compact string representation.
toInt(Node) - Static method in class ru.ispras.retrascope.util.TransformerUtils
Reduces the specified expression and tries to convert it to integer data type.
toNode() - Method in class ru.ispras.retrascope.model.efsm.Guard
Convert guard expression into Node expression.
TOOL_DEBUG_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
ToolChain - Class in ru.ispras.retrascope.basis
This class implements a tool chain, which is an Engine engine composed of smaller ones.
ToolChain() - Constructor for class ru.ispras.retrascope.basis.ToolChain
Constructs a tool chain with the default id.
ToolTest - Class in ru.ispras.retrascope.util
The ToolTest class is a base class for all JUnit test cases that run the tool with some parameters.
ToolTest() - Constructor for class ru.ispras.retrascope.util.ToolTest
Default constructor.
toString() - Method in class ru.ispras.retrascope.basis.Arguments
 
toString() - Method in class ru.ispras.retrascope.basis.Engine
 
toString() - Method in class ru.ispras.retrascope.basis.Entity
 
toString() - Method in class ru.ispras.retrascope.basis.EntityType
 
toString() - Method in class ru.ispras.retrascope.basis.FileNames
 
toString() - Method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvReservedWords
 
toString() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
toString() - Method in class ru.ispras.retrascope.model.basis.Event
 
toString() - Method in class ru.ispras.retrascope.model.basis.EventList
 
toString() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
toString() - Method in class ru.ispras.retrascope.model.efsm.Action
 
toString() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
toString() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
 
toString() - Method in class ru.ispras.retrascope.model.efsm.EfsmModuleState
 
toString() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
 
toString() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
 
toString() - Method in class ru.ispras.retrascope.model.efsm.Guard
 
toString() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
 
toString() - Method in class ru.ispras.retrascope.model.gadd.Phase
 
toString() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
 
toString() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
toString() - Method in class ru.ispras.retrascope.model.hldd.HlddModule
 
toString() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
 
toString() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
 
toString() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
 
toString() - Method in class ru.ispras.retrascope.result.test.Sequence
 
toString() - Method in class ru.ispras.retrascope.result.test.Test
 
toString() - Method in class ru.ispras.retrascope.result.test.TestCoverage
Returns a string representing this coverage.
toString() - Method in class ru.ispras.retrascope.result.test.TestVector
 
toString() - Method in class ru.ispras.retrascope.result.test.Transaction
 
toString() - Method in enum ru.ispras.retrascope.util.LogMessage
 
Transaction - Class in ru.ispras.retrascope.result.test
The class representing a transaction by a set of mappings between names and values of variables.
Transaction() - Constructor for class ru.ispras.retrascope.result.test.Transaction
Constructs an empty transaction.
Transaction(Map<String, NodeValue>) - Constructor for class ru.ispras.retrascope.result.test.Transaction
Constructs a transaction containing the specified name-value pairs.
Transaction(int) - Constructor for class ru.ispras.retrascope.result.test.Transaction
Constructs an empty transaction with the specified initial capacity of an underlying collection of variable name-value pairs.
TransformerUtils - Class in ru.ispras.retrascope.util
Utility methods for transformation of expressions.
transformNodeWithRanged(RangedVariable, Node) - Static method in class ru.ispras.retrascope.model.basis.RangedVariableUtils
Transforms the specified node with assistance of the specified ranged variable.
tryGetIntIndex(Node) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionUtils
Tries to get the integer value of the specified node.
tryIntConversion(Node) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionUtils
Tries to transform the specified array index node to INTEGER data type.
TYPE - Static variable in class ru.ispras.retrascope.basis.Arguments
 
type - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
 
TYPE - Static variable in class ru.ispras.retrascope.model.cfg.CfgModel
The entity type.
TYPE - Static variable in class ru.ispras.retrascope.model.efsm.EfsmModel
The entity type of all EfsmModel entities.
TYPE - Static variable in class ru.ispras.retrascope.model.gadd.GaddModel
The entity type.
TYPE - Static variable in class ru.ispras.retrascope.model.hldd.HlddModel
 
TYPE - Static variable in class ru.ispras.retrascope.result.cfginterface.CfgInterface
The entity type.
TYPE - Static variable in class ru.ispras.retrascope.result.property.PropertyEntity
 
TYPE - Static variable in class ru.ispras.retrascope.result.test.SequenceModel
The entity type of all SequenceModel instances.
TYPE - Static variable in class ru.ispras.retrascope.result.test.TestModel
The entity type of all TestModel instances.
TYPE - Static variable in class ru.ispras.retrascope.result.testbench.VerilogTestbenchModel
The entity type ID of all VhdlTestbench instances.
TYPE - Static variable in class ru.ispras.retrascope.result.testbench.VhdlTestbenchModel
The entity type ID of all VhdlTestbenchModel instances.
TYPE - Static variable in class ru.ispras.retrascope.result.usedef.UseDefEntity
 

U

UNINIT_STATE - Static variable in class ru.ispras.retrascope.model.efsm.Efsm
An object representing a state based on uninitialised values.
unmarshal(JaxbEvent) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventAdapter
 
unmarshal(JaxbEventList) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventListAdapter
 
unmarshal(JaxbVariableMapXmlAdapter.JaxbVariableList) - Method in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter
 
updateValue(NodeVariable, int, Node) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
Updates the value of the specified variable.
updateValue(NodeVariable, int, Node) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
Updates the value of the specified variable.
USE_NUSMV - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
 
UseDefContainer - Class in ru.ispras.retrascope.result.usedef
 
UseDefContainer() - Constructor for class ru.ispras.retrascope.result.usedef.UseDefContainer
 
UseDefEntity - Class in ru.ispras.retrascope.result.usedef
This class represents the entity that represents the use/def conditions of the variables.
UseDefEntity() - Constructor for class ru.ispras.retrascope.result.usedef.UseDefEntity
Constructs an entity with a given type.
usesPredefinedValues() - Method in class ru.ispras.retrascope.basis.Parameter
Checks whether the parameter has predefined values only.

V

valueOf(String) - Static method in enum ru.ispras.retrascope.basis.MetaInfoType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.basis.MetaInfoValue
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.basis.ModelCheckingMethod
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter.ConstraintType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvReservedWords.Operation
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvReservedWords
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.EventType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.StatementType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.walker.ModelVisitor.Status
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.walker.WalkerMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.model.cfg.CfgAssertStatement.Severity
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.model.cfg.CfgLoopStatement.Type
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.model.cfg.CfgStatementType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.model.efsm.Efsm.TransitionWeightBasis
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.model.hldd.HlddNode.NodeType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.util.LogMessage
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.util.SmvChecker.Result
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.util.TemporalOperation.Family
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ru.ispras.retrascope.util.TemporalOperation
Returns the enum constant of this type with the specified name.
values() - Static method in enum ru.ispras.retrascope.basis.MetaInfoType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.basis.MetaInfoValue
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.basis.ModelCheckingMethod
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter.ConstraintType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvReservedWords.Operation
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvReservedWords
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.model.basis.EventType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.model.basis.StatementType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.model.basis.walker.ModelVisitor.Status
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.model.basis.walker.WalkerMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.model.cfg.CfgAssertStatement.Severity
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.model.cfg.CfgLoopStatement.Type
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.model.cfg.CfgStatementType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.model.efsm.Efsm.TransitionWeightBasis
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.model.hldd.HlddNode.NodeType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.util.LogMessage
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.util.SmvChecker.Result
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.util.TemporalOperation.Family
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ru.ispras.retrascope.util.TemporalOperation
Returns an array containing the constants of this enum type, in the order they are declared.
VariableDescriptor - Class in ru.ispras.retrascope.model.basis
Variable data descriptor.
VariableDescriptor(VariableType) - Constructor for class ru.ispras.retrascope.model.basis.VariableDescriptor
Constructs object with the specified variable type.
VariableDescriptor(VariableDescriptor) - Constructor for class ru.ispras.retrascope.model.basis.VariableDescriptor
Copy constructor.
VariableType - Enum in ru.ispras.retrascope.model.basis
Variable types.
VariableVersionFactory - Class in ru.ispras.retrascope.model.basis
The factory for new variable version creation.
VariableVersionFactory() - Constructor for class ru.ispras.retrascope.model.basis.VariableVersionFactory
 
VerilogCfgBuilder - Class in ru.ispras.retrascope.parser.verilog
This class creates CfgModel from Verilog AST provided by Verilog Translator.
VerilogParser - Class in ru.ispras.retrascope.parser.verilog
Verilog Parser class.
VerilogParser() - Constructor for class ru.ispras.retrascope.parser.verilog.VerilogParser
Default constructor.
VerilogTestbenchModel - Class in ru.ispras.retrascope.result.testbench
Verilog testbench entity.
VerilogTestbenchModel(List<Set<Testbench>>) - Constructor for class ru.ispras.retrascope.result.testbench.VerilogTestbenchModel
Constructs object with the specified testbenches.
Version - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.version
This class represents a version of a variable: it contains the original variable, the version variable, the version number and the current value.
Version(NodeVariable, NodeVariable, int, int) - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
Constructs a new Version of the specified variable.
VersionRegistry - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.version
This class represents a registry that contains variables and their versions.
VersionRegistry() - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
Constructs a registry.
Versions - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.version
This class represents a container of versions of the original variable.
Versions(NodeVariable, Collection<NodeVariable>) - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
Constructs a new container using the specified original variable and version variables.
VersionUtils - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.version
This class contains methods that deal with variable versions and are used in gadd-to-hldd transformation process.
VhdlParser - Class in ru.ispras.retrascope.parser.vhdl
Parser for VHDL hardware models.
VhdlParser() - Constructor for class ru.ispras.retrascope.parser.vhdl.VhdlParser
Default constructor.
VhdlTestbenchModel - Class in ru.ispras.retrascope.result.testbench
VHDL testbench entity.
VhdlTestbenchModel(List<Set<Testbench>>) - Constructor for class ru.ispras.retrascope.result.testbench.VhdlTestbenchModel
Constructs object with the specified testbenches.
visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.BfsWalker
 
visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.DfsWalker
 
visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Visits the specified model statement.
visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgBfsWalker
 
visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgDfsWalker
 
visitNode(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Visits the specified node.
visitProcess(ModuleProcess) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Visits the specified process.
visitProcess(ModuleProcess) - Method in class ru.ispras.retrascope.model.efsm.EfsmDfsWalker
 
visitProcess(ModuleProcess) - Method in class ru.ispras.retrascope.model.hldd.HlddWalker
 
Void - Class in ru.ispras.retrascope.basis
This class represents a void entity.
Void(String) - Constructor for class ru.ispras.retrascope.basis.Void
Constructs a void entity of the given type.

W

WalkerMode - Enum in ru.ispras.retrascope.model.basis.walker
Modes of walking.
walkModel(String, HlddModel, Map<EntityType, Entity>, Arguments) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddSmvPrinterBase
 
warn(String, Object...) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified objects in the specified format at the warning logging level.
WARNING - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level indicating a potential problem.
A B C D E F G H I J L M N O P R S T U V W 
Skip navigation links