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.cgaa.CgaaModel
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.assertion.AssertionEntity
 
add(Entity) - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
 
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.
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
 
addAssertion(Node) - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
Adds the specified expression that uses variables that are already declared at the parent container.
addAssertions(Map<String, AssertionContainer>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvVisitor
Adds model assertions 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 backend.
addChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
 
addChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
 
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.
addClocks(EventList) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Adds the specified clock events collection to the object's collection.
addContainer(AssertionContainer) - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
Adds the specified assertion container object.
addContainer(AssertionContainer) - Method in class ru.ispras.retrascope.result.assertion.AssertionEntity
Adds non-null assertion container.
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.Vector
Adds the specified event to the vector.
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.Vector
Adds the specified events to this vector.
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.
addGroup(AssertionGroup) - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
Adds the specified assertion group object.
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<?>, String) - Method in class ru.ispras.retrascope.basis.MetaInfo
Adds meta-information as a pair of the specified information type and information value.
addMetaInfo(String, String) - Method in class ru.ispras.retrascope.basis.MetaInfo
Adds meta-information as a pair of the specified information type and information value.
addModule(Module) - Method in class ru.ispras.retrascope.model.basis.Model
Adds the specified module as a child one for this 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.
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.
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.SequenceModel
Adds the specified sequence to this sequence model.
addSequence(Sequence) - Method in class ru.ispras.retrascope.result.test.Test
Adds the specified sequence to this test.
addSequences(List<Sequence>) - Method in class ru.ispras.retrascope.result.test.Test
Adds the specified sequences 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.Vector
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(Vector) - Method in class ru.ispras.retrascope.result.test.Sequence
Adds the specified vector to the end of this sequence.
addVectors(List<Vector>) - Method in class ru.ispras.retrascope.result.test.Sequence
Adds the specified vectors to the end of this sequence.
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.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.CfgModule
 
apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
Applies bindings to process control flow graph and sensitivity list.
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.
AssertionContainer - Class in ru.ispras.retrascope.result.assertion
Named container of assertion groups.
AssertionContainer(DecStatement, String, AssertionContainer) - Constructor for class ru.ispras.retrascope.result.assertion.AssertionContainer
Constructs the object with the specified parameters.
AssertionEntity - Class in ru.ispras.retrascope.result.assertion
Entity that contains assertions that are extracted from models.
AssertionEntity() - Constructor for class ru.ispras.retrascope.result.assertion.AssertionEntity
Default constructor.
AssertionGroup - Class in ru.ispras.retrascope.result.assertion
Named group of independent assertions.
AssertionGroup(DecStatement, String, AssertionContainer, Node, List<GuardedAction>) - Constructor for class ru.ispras.retrascope.result.assertion.AssertionGroup
Constructs object with specified parameters.
AssertionGroup(DecStatement, String, AssertionContainer, Node) - Constructor for class ru.ispras.retrascope.result.assertion.AssertionGroup
Constructs object with specified parameters.
AssertionVariableContainer - Class in ru.ispras.retrascope.result.assertion
Container for variables that are used in assertions.
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.
ASSIGNMENT_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Assignment section header.
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() - Constructor for class ru.ispras.retrascope.basis.Backend
 
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.
border(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Checks whether this range borders on the given one (rhs).

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
Default constructor.
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(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.
CfgCgaaTransformer - Class in ru.ispras.retrascope.engine.cfg.transformer.cgaa
Transformer to clocked guarded atomic actions model.
CfgCgaaTransformer() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer
Default constructor.
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.
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
 
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.
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
Default constructor.
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
Control flow graph model visitor that detects one-basic-block processes and transforms them.
CfgOneBlockProcessBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgOneBlockProcessBackend
Default constructor.
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(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
Constructs new process with the specified value of initial flag.
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
 
CfgSsaTransformer - Class in ru.ispras.retrascope.engine.cfg
Utility methods for control flow graph model transformation.
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.
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
Default constructor.
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.
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(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.
CgaaEfsmTransformer - Class in ru.ispras.retrascope.engine.cgaa.transformer.efsm
The transformer of clocked guarded atomic actions container CgaaModel into extended finite state machine EfsmModel.
CgaaEfsmTransformer() - Constructor for class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
Default constructor.
CgaaGraphMlPrinter - Class in ru.ispras.retrascope.engine.cgaa.printer.graphml
Clocked guarded atomic actions model printer to GraphML format.
CgaaGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
Default constructor.
CgaaHlddTransformer - Class in ru.ispras.retrascope.engine.cgaa.transformer.hldd
This engine transforms the cgaa model into the HLDD model.
CgaaHlddTransformer() - Constructor for class ru.ispras.retrascope.engine.cgaa.transformer.hldd.CgaaHlddTransformer
Constructs a new engine.
CgaaModel - Class in ru.ispras.retrascope.model.cgaa
Clocked Guarded Atomic Actions (i.e.
CgaaModel(CfgModel, Map<ModuleProcess, Graph<Phase, PhaseSeqEdge>>) - Constructor for class ru.ispras.retrascope.model.cgaa.CgaaModel
Constructs an object with the specified control flow graph internal model.
CHECK_METHOD - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvPrinter
The model checking method command line 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.NearestUncoveredEfsmTransitionChooser
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.
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.
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
 
compareTo(EntityType) - Method in class ru.ispras.retrascope.basis.EntityType
 
compareTo(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Compares this object to the specified object.
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.
contains(Parameter) - Method in class ru.ispras.retrascope.basis.Arguments
Checks whether the given parameter is specified.
contains(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks whether this object contains the specified event.
contains(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Checks whether this range contains (as a subset) the given one (rhs).
contains(BigInteger) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Checks whether this range contains the given point.
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.Transaction
Checks if the specified variable is in this transaction.
containsVariable(String) - Method in class ru.ispras.retrascope.result.test.Vector
Checks if the specified variable is in this vector.
CONVERSION_FUNCTION - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
CROPPING_TEXT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
CTL_SPEC_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
CTL specification header.
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
 
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 - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level for information for debugging.
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.
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.
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.
declareVariables(Collection<NodeVariable>) - Method in class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
Add all the variables of the specified collection to internal declared 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 a 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.Range
Creates a deep copy of the current object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Creates a deep copy of the current 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
 
DEFINE_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Definition section header.
defines(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
Checks whether the engine defines an entity of the given type.
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.
divide(Collection<IntegerRange>) - Static method in class ru.ispras.retrascope.model.basis.IntegerRange
Transforms the collection of ranges to the list of disjoint ranges.

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
 
EfsmEngine - Class in ru.ispras.retrascope.engine.efsm
The abstract class for tools which deal with EFSMs.
EfsmEngine(String, ModelVisitor, EntityType) - Constructor for class ru.ispras.retrascope.engine.efsm.EfsmEngine
Constructs an EFSM engine with the specified ID, visitor, and output type.
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.
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 simulator for EfsmModel.
EfsmSimulator() - Constructor for class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Creates a simulator.
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.
EfsmTransitionAssertExtractor - Class in ru.ispras.retrascope.engine.efsm.extractor.assertion
Engine that extracts transition assertions from EFSM models.
EfsmTransitionAssertExtractor() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertExtractor
Default constructor.
EfsmTransitionAssertVisitor - Class in ru.ispras.retrascope.engine.efsm.extractor.assertion
Visitor for EfsmTransitionAssertExtractor.
EfsmTransitionAssertVisitor() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
 
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.
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.
enableGuardedAction(GuardedAction, EventList, Map<String, NodeValue>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
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.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.cgaa.CfgCgaaTransformer
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.CgaaHlddTransformer
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertExtractor
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.hldd.printer.smv.assertion.HlddAssertSmvPrinter
The engine ID.
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.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.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.IntegerRange
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.Range
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
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.cgaa.Phase
 
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.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.assertion.AssertionContainer
 
equals(Object) - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
 
equals(Object) - Method in class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
 
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.Transaction
Compares the specified object with this transaction for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.test.Vector
Compares the specified object with this vector for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.testbench.Testbench
 
equals(Object) - Method in class ru.ispras.retrascope.result.testbench.TestbenchModel
 
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.

F

FALSE - Static variable in class ru.ispras.retrascope.util.SolverUtils
The "false" syntax node.
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.ProcessSimulator
Fills the specified expression with the specified inputs and current values of inner variables.
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
 
FULL_COVERAGE_PERCENTAGE - Static variable in class ru.ispras.retrascope.result.test.TestCoverage
The number representing full coverage percentage, that is, BigDecimal.valueOf(100).

G

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.
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).
getAscending() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Returns "'ascending" field value.
getAssertionNum() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
Returns the number of related assertions.
getAssertions() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
Returns a collection of assertions.
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.
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.Vector
Returns assignments.
getBitVectorFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns bit vector declaration format.
getBitVectorFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getBitVectorFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getBufferAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns buffer assignment format.
getBufferAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getBufferAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getBufferDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns buffer variable declaration format.
getBufferDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getBufferDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
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.
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
 
getClock() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
Returns clock-like variable of the top-level container.
getClockAssignment(NodeVariable, Collection<NodeVariable>) - 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.
getConjunction(Node...) - Static method in class ru.ispras.retrascope.util.NodeUtils
Returns a conjunction of the specified nodes.
getConjunction(Collection<Node>) - Static method in class ru.ispras.retrascope.util.NodeUtils
Returns a conjunction of non-empty collection of nodes.
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.assertion.AssertionEntity
Returns assertion 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
 
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 class ru.ispras.retrascope.engine.basis.Simulator
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.ModuleSimulator
 
getCoverage(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
Returns a coverage of the specified EFSM.
getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
Returns a test coverage reached during simulation since last reset.
getCoveredTransitions() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Returns all covered transitions in this coverage.
getCurrentModule() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
Returns the current control flow graph model module.
getCurrentState() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a state of an underlying model which this simulator is currently in.
getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
Returns a state of an underlying EFSM which this simulator is currently in.
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() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Returns the data type of this object.
getDataType(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
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
 
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.
getDefines() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
getDefines() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
getDefines() - Method in class ru.ispras.retrascope.model.basis.Statement
 
getDefines() - Method in interface ru.ispras.retrascope.model.basis.UseDef
Returns a set of defined variables.
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
 
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
 
getDisjunction(Collection<Node>) - Static method in class ru.ispras.retrascope.util.NodeUtils
Returns a disjunction of non-empty collection of nodes.
getDst() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
Returns a state which is the end point of this transition.
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).
getEquation(Node...) - Static method in class ru.ispras.retrascope.util.NodeUtils
Returns an equation {@code (nodes[0] == ...
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.Vector
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.
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.
getFollowingNodes(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
Returns the following nodes of the specified node.
getFollowingTerminalNodes(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
Returns the following terminal nodes of the specified node.
getFormattedName(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Converts a string of process identifiers into a single identifier.
getFullName() - Method in class ru.ispras.retrascope.model.basis.Module
Returns a full name.
getGroupMap() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
Returns mapping of names to nested assertion groups.
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.
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
Returns unique node identifier in string form.
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(Efsm, EfsmState) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Returns transitions of the specified EFSM that end at the specified state.
getIncrement() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
Returns loop counter incrementation assignment.
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.
getInitialValue(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInitValueState() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
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.
getInnerVariableNames() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a collection of inner variables' names.
getInnerVariableNames() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
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.
getInputTypes() - Method in class ru.ispras.retrascope.basis.Engine
Returns the input types of the engine (i.e., the types of input entities).
getInstanceName() - Method in class ru.ispras.retrascope.model.basis.Module
Returns instance name.
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(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getLastTraversedTransition() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
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).
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.
getMax() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Returns the upper bound of the range.
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.
getMin() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Returns the lower bound of the range.
getModel() - Method in class ru.ispras.retrascope.model.cgaa.CgaaModel
Returns the internal CfgModel 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.
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.engine.efsm.simulator.ProcessSimulator
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() - 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
Returns the process name.
getName() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
Returns name of this object.
getName() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
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.
getOld() - Method in class ru.ispras.retrascope.model.basis.Range
Returns old index.
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.
getOutgoing(Efsm, EfsmState) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Returns transitions of the specified EFSM that start at the specified state.
getOutput() - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
Returns engine output entity.
getOutput() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
 
getOutput() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
 
getOutput() - Method in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
 
getOutput() - Method in class ru.ispras.retrascope.engine.efsm.EfsmEngine
Returns an output entity of this engine.
getOutput() - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertExtractor
 
getOutput() - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
Returns object's output.
getOutput() - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
 
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.
getOutputType() - Method in class ru.ispras.retrascope.basis.Engine
Returns the output type of the engine (i.e., the type of output entities).
getOutputVariableNames() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a collection of output variables' names.
getOutputVariableNames() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
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.assertion.AssertionContainer
Returns parent container.
getParent() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
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.
getPortDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns port declaration format.
getPortDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getPortDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getPortMapDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns port mapping declaration format.
getPortMapDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getPortMapDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
getPostCondition(CfgBlockStatement...) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Returns the post-condition for the specified sequence of block statements.
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.
getProcessPhaseMap() - Method in class ru.ispras.retrascope.model.cgaa.CgaaModel
Returns the mapping from model processes to their phase sequence graphs.
getRange() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Returns range.
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.Range
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.
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.
getRstGuardedAction() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
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.
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.
getSequencesAmount() - Method in class ru.ispras.retrascope.result.test.Test
Returns an amount of sequences which this test consists of.
getSeverity() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
Returns severity level.
getShortestPath(Efsm, EfsmState, EfsmState, Efsm.TransitionWeightBasis) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Looks for the shortest path at the specified EFSM from the specified source state to the specified destination state with the specified principle of transition weight defining.
getSignalAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns signal assignment format.
getSignalAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getSignalAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
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
 
getSimulatedModel() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
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.
getStatement(int) - Method in class ru.ispras.retrascope.model.basis.Statement
Returns a child statement of the specified number.
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.
getStateVariables(Efsm) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Returns state-like variables for the specified EFSM.
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.
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.
getSuccessors(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns statements that go after the specified statement.
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.
getTemplateResource() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns string of the path to template resource file.
getTemplateResource() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getTemplateResource() - 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.
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.Vector
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.
getTstParserResource() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
Returns string of the path to TST parser resource file.
getTstParserResource() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
 
getTstParserResource() - 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() - 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 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.
getUncoveredTransitions() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Returns all uncovered transitions in this coverage.
getUsedVariableNames() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns names of variables that are used in this object.
getUses() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
getUses() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
getUses() - Method in class ru.ispras.retrascope.model.basis.Statement
 
getUses() - Method in interface ru.ispras.retrascope.model.basis.UseDef
Returns a set of used variables.
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
 
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.cgaa.Phase
Returns the phase value.
getValue(String) - Method in class ru.ispras.retrascope.result.test.Transaction
Returns a value of the specified variable from this transaction.
getValue(String) - Method in class ru.ispras.retrascope.result.test.Vector
Returns a value of the specified variable from this vector.
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.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.basis.RangedVariable
Returns 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.
getVariableName() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Returns variable name.
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.
getVariableValue(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
getVectorsAmount() - Method in class ru.ispras.retrascope.result.test.Test
Returns an amount of vectors which this test consists of.
getVisitor() - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Returns the model visitor.
getVisitor() - Method in class ru.ispras.retrascope.model.hldd.HlddWalker
Returns the current 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.
getYoung() - Method in class ru.ispras.retrascope.model.basis.Range
Returns young index.
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
 
GraphMlUtils - Class in ru.ispras.retrascope.engine.basis
GraphML utils.
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.
hasBitVector(Node...) - Static method in class ru.ispras.retrascope.util.NodeUtils
Checks whether any of the specified nodes is of bit vector type.
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.
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.Vector
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.IntegerRange
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.Range
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
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.cgaa.Phase
 
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.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.assertion.AssertionContainer
 
hashCode() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
 
hashCode() - Method in class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
 
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.Transaction
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Vector
 
hashCode() - Method in class ru.ispras.retrascope.result.testbench.Testbench
 
hashCode() - Method in class ru.ispras.retrascope.result.testbench.TestbenchModel
 
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.
hasInnerVariable(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Checks rather this operates with inner variable that has the specified name.
hasInnerVariable(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
hasInput(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Checks rather this operates with input variable that has the specified name.
hasInput(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
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.NearestUncoveredEfsmTransitionChooser
 
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.
hasOutput(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Checks rather this operates with output variable that has the specified name.
hasOutput(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
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.
HlddAssertSmvPrinter - Class in ru.ispras.retrascope.engine.hldd.printer.smv.assertion
This engine prints the HLDD model and related assertions as an SMV file.
HlddAssertSmvPrinter() - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvPrinter
Default constructor.
HlddAssertSmvVisitor - Class in ru.ispras.retrascope.engine.hldd.printer.smv.assertion
This class represents a visitor which contains SMV printing methods.
HlddAssertSmvVisitor(String) - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvVisitor
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.
HlddOptimizationVisitor - Class in ru.ispras.retrascope.engine.cgaa.transformer.hldd
This class represents a visitor which is used to optimize a visited HLDD.
HlddOptimizationVisitor() - Constructor for class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
 
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.
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.
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.
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() - Constructor for class ru.ispras.retrascope.model.hldd.HlddTerminalNode
Constructs a new terminal node.
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
 
incompatibleWith(Event) - Method in class ru.ispras.retrascope.model.basis.Event
Checks whether this object is compatible with the specified one.
indexOf(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
Returns index of the specified statement.
INFO - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level for informational messages.
initFile(String) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
Create GraphML file with the specified name.
initGraphMlVisitor(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
Initialize visitor with the graphML file name.
initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.EfsmEngine
Initialises this EFSM engine with the specified inputs.
initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertExtractor
 
initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
 
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.cfg.printer.graphml.CfgGraphMlPrinter
 
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.cgaa.transformer.efsm.CgaaEfsmTransformer
 
initIterator() - Method in class ru.ispras.retrascope.result.test.Sequence
Prepares internal iterator for vectors.
innerVariablesMemory - Variable in class ru.ispras.retrascope.engine.basis.Simulator
 
INPUT_VALUES - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
 
INPUT_VARIABLE_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Input variable declaration section header.
instantiate(String, Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgModule
Instantiates this object with the specified name and bindings.
IntegerRange - Class in ru.ispras.retrascope.model.basis
This class represents a non-empty integer range (interval).
IntegerRange(BigInteger, BigInteger) - Constructor for class ru.ispras.retrascope.model.basis.IntegerRange
Constructs a range with the given lower (min) and upper (max) bounds.
IntegerRange.RangePointType - Enum in ru.ispras.retrascope.model.basis
This enumeration contains types of range bounds.
intersect(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Returns an intersection range for this one and the specified one.
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.
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.
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.Transaction
Checks if this transaction is empty.
isEmpty() - Method in class ru.ispras.retrascope.result.test.Vector
Checks if this vector 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.
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.
isInputDeclared(Efsm, String) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Checks if the specified input is declared either in the EFSM or in it's parent module.
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.
isIntegerRange() - Method in class ru.ispras.retrascope.model.basis.Range
Checks whether this object is a range of integer values.
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.
isOperation(Node, Collection<StandardOperation>) - Static method in class ru.ispras.retrascope.util.NodeUtils
Checks rather the specified node is a NodeOperation object with identifier from the specified list.
isOutputDeclared(Efsm, String) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Checks if the specified output is declared either in the EFSM or in it's parent module.
isOutputSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Check whether the specified identifier is of input-output or output type.
isRanged() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Checks whether this is ranged.
isReachable(Efsm, EfsmState, EfsmState) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Checks if there is a path from the specified source state to the specified destination state at the specified EFSM..
isRegister(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Check whether the specified identifier is of register type.
isRegisterDeclared(Efsm, String) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Checks if the specified register declared either in the EFSM or in it's parent module.
isSat(Node) - Static method in class ru.ispras.retrascope.util.SolverUtils
Checks whether the specified expression is satisfiable.
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.
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.
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
 
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() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList
 
JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable - Class in ru.ispras.retrascope.result.test.jaxb
The class for mediation during JAXB marshalling/unmarshalling of variables.
JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable
 
jaxbVariables - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList
 

L

loadSnapshot(Simulator<T>.SimulationSnapshot) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Restores a simulation state from the specified snapshot.
loadSnapshot(ModuleSimulator.ModuleSimulationSnapshot) - 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.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_PARAMETER - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
Engine's command line parameter encoding loop iteration limit.
LOWER_BOUND - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
LTL_SPEC_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
LTL specification header.

M

main(String...) - Static method in class ru.ispras.retrascope.Retrascope
Configures and runs the tool chain.
makeException(Enum<?>, Object) - Static method in exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Creates an exception object with message containing the specified prefix and an information about the specified object.
makeException(Enum<?>, Class) - Static method in exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Creates an exception object with message starting from the specified prefix and giving an information about the specified class.
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.ModuleSimulator
 
makeSimulationSnapshot() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
makeSubstitutions(Node) - 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.
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.
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.
minus(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Returns the list of ranges representing the difference between this range and the given one.
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.
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.
ModelUtils() - Constructor for class ru.ispras.retrascope.model.basis.ModelUtils
 
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 with it's own name, instance name and variable declarations.
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_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Announces module declaration.
ModuleProcess - Class in ru.ispras.retrascope.model.basis
The module component with it's own name and variable declarations.
ModuleProcess() - Constructor for class ru.ispras.retrascope.model.basis.ModuleProcess
Default constructor.
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.
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 - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable
 
nearDecStatement(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns variable declaration container that is closest to the specified statement.
nearDecStatement(Statement, Enum<?>) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Returns closest declaration container of the specified type to the specified statement.
NearestUncoveredEfsmTransitionChooser - 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.
NearestUncoveredEfsmTransitionChooser(Efsm, EfsmTransitionCoverage) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.NearestUncoveredEfsmTransitionChooser
Creates a new NearestUncoveredEfsmTransitionChooser 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.
newBitVector(int, int) - Static method in class ru.ispras.retrascope.util.NodeUtils
Creates bit vector of the specified size object from the specified value.
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
 
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.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.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.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.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.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.cgaa.transformer.hldd.HlddOptimizationVisitor
 
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.cgaa.transformer.hldd.HlddOptimizationVisitor
 
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.
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.cgaa.transformer.hldd.HlddOptimizationVisitor
 
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 interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has encountered the specified event.
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 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.cgaa.transformer.hldd.HlddOptimizationVisitor
 
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.efsm.extractor.assertion.EfsmTransitionAssertVisitor
 
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.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.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.graphml.CfgGraphMlVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvVisitor
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
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.CfgLoopBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneBlockProcessBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
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.CfgLoopBackend
 
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.efsm.extractor.assertion.EfsmTransitionAssertVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvVisitor
 
onProcessBegin(ModuleProcess) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
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.efsm.extractor.assertion.EfsmTransitionAssertVisitor
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvVisitor
 
onProcessEnd(ModuleProcess) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
 
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.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.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 interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified sequence.
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.
onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
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.model.cfg.CfgEmptyVisitor
 
onSwitchEnd(CfgSwitchStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting CfgSwitchStatement node.
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 interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has finished walking across the specified test.
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 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.assertion.EfsmTransitionAssertVisitor
 
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 interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has encountered the specified variable.
onVectorBegin(Vector) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified vector.
onVectorEnd(Vector) - 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.cfg.printer.graphml.CfgGraphMlPrinter
The command line parameters.
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.efsm.printer.graphml.EfsmGraphMlPrinter
The output GraphML-file-name command line parameter.
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.cgaa.printer.graphml.CgaaGraphMlPrinter
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.hldd.printer.smv.assertion.HlddAssertSmvPrinter
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
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
 
overlaps(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Checks whether this range overlaps with the given one (rhs).
OVERWRITE_EXISTING - 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.cgaa
Phase of Clocked Guarded Atomitc Actions Model path.
Phase(Integer) - Constructor for class ru.ispras.retrascope.model.cgaa.Phase
Creates phase object with the specified phase value.
PhaseSeqEdge - Class in ru.ispras.retrascope.engine.cfg.transformer.cgaa
Edge for phase sequences graph.
PhaseSeqEdge() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.cgaa.PhaseSeqEdge
 
PlaceHolder - Class in ru.ispras.retrascope.engine.test.printer.testbench
Placeholder components for testbench generation
PlaceHolder() - Constructor for class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
PORT_KIND - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
PORT_MAP_DECLARATION - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
PORT_NAME - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
PORT_TYPE - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
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.
printDebug(String) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified message at the debug logging level.
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.
printError(String) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified message at the error logging level.
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.
printInfo(String) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified message at the info logging level.
printInfo(Object) - Static method in class ru.ispras.retrascope.util.Log
Prints the object's string representation at the info logging level.
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.
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.
printWarn(String) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified message at the warning logging level.
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.
ProcessSimulator - 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.
processStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
Processes the specified model statement.
product(Efsm...) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Constructs a synchronous composition from a list of EFSMs.

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.
Range - Class in ru.ispras.retrascope.model.basis
Pair of values.
Range(Node, Node) - Constructor for class ru.ispras.retrascope.model.basis.Range
Default constructor.
Range(int, int) - Constructor for class ru.ispras.retrascope.model.basis.Range
Creates range with the specified young and old indices.
ranged() - Method in class ru.ispras.retrascope.model.basis.Assignment
Checks whether this object contains a defining to ranged variable.
RangedVariable - Class in ru.ispras.retrascope.model.basis
Variable or it's sub-part restricted by the specified range.
RangedVariable(NodeVariable) - Constructor for class ru.ispras.retrascope.model.basis.RangedVariable
Constructs object with the specified variable.
RangedVariable(NodeVariable, Range) - Constructor for class ru.ispras.retrascope.model.basis.RangedVariable
Constructs object with the specified variable and it's range.
RangedVariableUtils - Class in ru.ispras.retrascope.model.basis
Utility methods for ranged variable class.
readVector(Vector) - Method in class ru.ispras.retrascope.engine.basis.Simulator
 
ReadWriteUtils - Class in ru.ispras.retrascope.util
Read and write utilities.
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
 
removeDeclaration(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
Removes the declaration for the variable with the specified name.
removeDeclaration(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
Removes declaration of variable with the specified name.
removeEvents() - Method in class ru.ispras.retrascope.result.test.Vector
Clears all the internal events for this objects.
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.
replace(Statement, Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
Replaces the first statement by the second statement.
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.ModuleSimulator
 
reset() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
Resets this simulator, that is, returns it to an uninitialised state.
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 class ru.ispras.retrascope.engine.basis.Simulator
Resets a test coverage achieved by this simulator.
resetCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
resetCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
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.
RetrascopeRuntimeException - 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.
RetrascopeRuntimeException(String) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Constructs an exception with the specified message.
RetrascopeRuntimeException(String, Throwable) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Constructs an exception with the specified message and root exception.
RetrascopeRuntimeException(Exception) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
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.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.cgaa - package ru.ispras.retrascope.engine.cfg.transformer.cgaa
 
ru.ispras.retrascope.engine.cgaa.printer.graphml - package ru.ispras.retrascope.engine.cgaa.printer.graphml
 
ru.ispras.retrascope.engine.cgaa.transformer.efsm - package ru.ispras.retrascope.engine.cgaa.transformer.efsm
 
ru.ispras.retrascope.engine.cgaa.transformer.hldd - package ru.ispras.retrascope.engine.cgaa.transformer.hldd
 
ru.ispras.retrascope.engine.efsm - package ru.ispras.retrascope.engine.efsm
 
ru.ispras.retrascope.engine.efsm.extractor.assertion - package ru.ispras.retrascope.engine.efsm.extractor.assertion
 
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.hldd.printer.smv - package ru.ispras.retrascope.engine.hldd.printer.smv
 
ru.ispras.retrascope.engine.hldd.printer.smv.assertion - package ru.ispras.retrascope.engine.hldd.printer.smv.assertion
 
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.cgaa - package ru.ispras.retrascope.model.cgaa
 
ru.ispras.retrascope.model.efsm - package ru.ispras.retrascope.model.efsm
 
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.assertion - package ru.ispras.retrascope.result.assertion
 
ru.ispras.retrascope.result.cfginterface - package ru.ispras.retrascope.result.cfginterface
 
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.util - package ru.ispras.retrascope.util
 
runChecker(String, String...) - Method in class ru.ispras.retrascope.util.SmvChecker
Runs the checker using the specified arguments.

S

select(Collection<IntegerRange>, IntegerRange) - Static method in class ru.ispras.retrascope.model.basis.IntegerRange
Selects all ranges from the the given collection that are within the given bounds.
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.
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.
setAscending(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
Sets the specified value to the non-initialized ascending field.
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.
setClock(NodeVariable) - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
Sets the specified variable as a clock-like for the top-level container.
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.CfgSwitchStatement
Sets new Node condition.
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.
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.
setInitialState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Marks the specified state of this EFSM as an initial state.
setInstanceName(String) - Method in class ru.ispras.retrascope.model.basis.Module
Sets instance name.
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.
setNuSmv() - Method in class ru.ispras.retrascope.util.SmvChecker
Enables NuSMV checker.
setNuXmv() - Method in class ru.ispras.retrascope.util.SmvChecker
Enables NuXMV checker.
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.RangedVariable
Sets new range.
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.assertion.AssertionVariableContainer
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.
setSpecType(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvVisitor
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.
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.
setVisitor(HlddVisitor) - Method in class ru.ispras.retrascope.model.hldd.HlddWalker
Sets the current visitor.
setWalkers(ModelWalker...) - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
Sets the specified walker sequence.
shift(int) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Returns the shifted variant of this range ([min + value, max + value]).
signal - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
 
SIGNAL_NAME - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
SIGNAL_TYPE - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
simulatedModel - Variable in class ru.ispras.retrascope.engine.basis.Simulator
 
simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Simulates processing of the specified input vector and returns produced output vector.
simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
simulateVector(Vector) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Simulates processing of the specified input vector and returns produced output vector.
simulateVector(Vector) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
simulateVector(Vector) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
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.
Simulator.SimulationSnapshot - Class in ru.ispras.retrascope.engine.basis
The snapshot of simulation.
Simulator.SimulationSnapshot() - Constructor for class ru.ispras.retrascope.engine.basis.Simulator.SimulationSnapshot
 
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.
size() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Returns the size of the range.
SMV_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvPrinter
The command-line parameter.
SMV_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
The SMV output file name 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.
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.
SmvPrinterUtils - Class in ru.ispras.retrascope.engine.hldd.printer.smv.utils
This class contains static methods for *.smv file printing.
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.
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.
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(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.CgaaHlddTransformer
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.EfsmEngine
 
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.EfsmSimulator
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.hldd.printer.smv.assertion.HlddAssertSmvPrinter
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
 
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.TestbenchPrinterEngine
 
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(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.basis.HdlParser
 
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_MAX_NUM - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
State maximum number parameter.
STATE_NOT_FOUND - Static variable in class ru.ispras.retrascope.model.efsm.Efsm
A string prefix for "state not found" error message.
STATE_VARIABLES - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
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
 
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

TAB - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
TARGET_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
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).
TestbenchModel - Class in ru.ispras.retrascope.result.testbench
The representation of a VHDL testbench.
TestbenchModel(List<Set<Testbench>>) - Constructor for class ru.ispras.retrascope.result.testbench.TestbenchModel
Constructs object with the specified testbenches.
TestbenchPrinterEngine - Class in ru.ispras.retrascope.engine.test.printer.testbench
Testbench printer abstract engine.
TestbenchPrinterEngine(String) - 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.
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.
toIntegerRange() - Method in class ru.ispras.retrascope.model.basis.Range
Converts this object to integer range, if fails, returns null.
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.
TOP_LEVEL - Static variable in class ru.ispras.retrascope.parser.vhdl.VhdlParser
The VHDL top-level module name.
toSsa(Statement) - Static method in class ru.ispras.retrascope.engine.cfg.CfgSsaTransformer
Transforms th specified statement to a Static Single Assignment (SSA) form.
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 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.IntegerRange
 
toString() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
toString() - Method in class ru.ispras.retrascope.model.basis.Range
 
toString() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
toString() - Method in class ru.ispras.retrascope.model.cgaa.Phase
 
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.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.Transaction
 
toString() - Method in class ru.ispras.retrascope.result.test.Vector
 
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.
TRUE - Static variable in class ru.ispras.retrascope.util.SolverUtils
The "true" syntax node.
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.cgaa.CgaaModel
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.hldd.HlddModel
 
TYPE - Static variable in class ru.ispras.retrascope.result.assertion.AssertionEntity
 
TYPE - Static variable in class ru.ispras.retrascope.result.cfginterface.CfgInterface
The entity type.
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.TestbenchModel
The entity type ID of all VhdlTestbench instances.

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
 
UPPER_BOUND - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
UseDef - Interface in ru.ispras.retrascope.model.basis
Object that uses or/and defines variables.
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.utils.SmvExprPrinter.ConstraintType
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.IntegerRange.RangePointType
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.
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.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.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.IntegerRange.RangePointType
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.
VARIABLE_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Variable declaration section header.
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.
VariableType - Enum in ru.ispras.retrascope.model.basis
Variable types.
Vector - Class in ru.ispras.retrascope.result.test
The representation of an input/output vector of variables.
Vector() - Constructor for class ru.ispras.retrascope.result.test.Vector
Constructs an empty vector.
Vector(Transaction) - Constructor for class ru.ispras.retrascope.result.test.Vector
Constructs a vector containing the specified transaction.
Vector(Collection<Transaction>, EventList) - Constructor for class ru.ispras.retrascope.result.test.Vector
Constructs a vector containing the specified transactions and events.
VECTOR_FMT - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
VECTOR_SIGNALS - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
 
VerilogParser - Class in ru.ispras.retrascope.parser.verilog
Verilog Parser class.
VerilogParser() - Constructor for class ru.ispras.retrascope.parser.verilog.VerilogParser
Default constructor.
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.
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.
visitor - Variable in class ru.ispras.retrascope.engine.efsm.EfsmEngine
 
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.
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