A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _

V

VALUE_GREATER_THAN_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

VALUE_GREATER_THAN_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

VALUE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

Value Label Key

VALUE_MUST_BE_NON_NEGATIVE_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

Only Non-Negative Value Permitted Exception Text Key

VALUE_MUST_BE_NON_NEGATIVE_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

Only Non-Negative Value Permitted Exception Title Key

VALUE_MUST_BE_POSITIVE_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

VALUE_MUST_BE_POSITIVE_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.actions.ComputationEvent.EventType

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.actions.LoadAction.LoadType

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.actions.SaveAction.AutomatonPersistenceType

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.actions.SaveAction.GraphPersistenceType

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.Algorithm.OrderingType

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.Algorithm.SearchType

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.CospanDecompositionAlgorithm.Implementations

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.EmptinessCheckAlgorithm.Implementations

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.GraphDecompositionAlgorithm.Implementations

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.InvariantCheckingAlgorithm.Implementations

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.LanguageEquivalenceAlgorithm.Implementations

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.LanguageInclusionAlgorithm.Implementations

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.MembershipAlgorithm.Implementations

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.SimulationAlgorithm.Implementations

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.algorithms.UniversalityAlgorithm.Implementations

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.automata.Automaton.Type

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.bdd.RavenBDD.Type

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.bdd.RavenBDDFactory.BDDOperator

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.Cospan.Type

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.CounterExample.Type

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.Decomposition.Type

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.Edge.Type

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.Graph.Type

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.Node.Type

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.Operation.Type

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.data.Signature.Type

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.encodings.BDDEncoding.StateType

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

valueOf(String) - Static method in enum de.uni_due.inf.ti.raven.encodings.BoundEncoding.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.actions.ComputationEvent.EventType

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

values() - Static method in enum de.uni_due.inf.ti.raven.actions.LoadAction.LoadType

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

values() - Static method in enum de.uni_due.inf.ti.raven.actions.SaveAction.AutomatonPersistenceType

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

values() - Static method in enum de.uni_due.inf.ti.raven.actions.SaveAction.GraphPersistenceType

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.Algorithm.OrderingType

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.Algorithm.SearchType

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.CospanDecompositionAlgorithm.Implementations

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.EmptinessCheckAlgorithm.Implementations

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.GraphDecompositionAlgorithm.Implementations

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.InvariantCheckingAlgorithm.Implementations

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.LanguageEquivalenceAlgorithm.Implementations

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.LanguageInclusionAlgorithm.Implementations

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.MembershipAlgorithm.Implementations

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.SimulationAlgorithm.Implementations

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

values() - Static method in enum de.uni_due.inf.ti.raven.algorithms.UniversalityAlgorithm.Implementations

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.automata.Automaton.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.bdd.RavenBDD.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.bdd.RavenBDDFactory.BDDOperator

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.Cospan.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.CounterExample.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.Decomposition.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.Edge.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.Graph.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.Node.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.Operation.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.data.Signature.Type

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

values() - Static method in enum de.uni_due.inf.ti.raven.encodings.BDDEncoding.StateType

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

values() - Static method in enum de.uni_due.inf.ti.raven.encodings.BoundEncoding.Type

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

var() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD

Returns the variable (in the root) of this BDD.

var2Level(int, BDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDFactory

Convert from a BDD variable to a BDD level.

VAR_PROP_MENU_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

Variables and Properties Menu Key

VariablesAndPropertiesAction - Class in de.uni_due.inf.ti.raven.gui.actions

Displays information about the version in a messageDialoge.

VariablesAndPropertiesAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.VariablesAndPropertiesAction

Creates an Action for presenting versioning information.

VariablesAndPropertiesDialog - Class in de.uni_due.inf.ti.raven.gui

Displays current variables and properties in a window and enables the user to edit and create variables/properties.

varNum(BDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDFactory

Returns the number of defined variables in the BDD bdd.

VERBOSE_MODE_SET_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages

Verbose Mode Set Text Key

Version - Class in de.uni_due.inf.ti.raven.main

This class contains information about the version of Raven.

VERSION_MENU_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

Version Menu Key

VersionAction - Class in de.uni_due.inf.ti.raven.gui.actions

Displays information about the version in a message dialog.

VersionAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.VersionAction

Creates an Action for presenting version information.

VERTEX_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

Vertex Bit Label Key

VERTEX_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages

Vertex Label Key

VERTEX_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console

The VERTEX Operation Token

VERTEX_TOKEN - Static variable in class de.uni_due.inf.ti.raven.data.Operation

The VERTEX Operation Token

VertexCountingAutomaton - Class in de.uni_due.inf.ti.raven.data.automata

This class implements a graph automaton accepting the language of all graphs whose number of nodes is equal to remainder modulo divisor.

VertexCountingAutomatonAction - Class in de.uni_due.inf.ti.raven.actions

Handles creation of a new vertex-counting automaton.

VertexCountingAutomatonAction(int, int, int, Signature, int, int) - Constructor for class de.uni_due.inf.ti.raven.actions.VertexCountingAutomatonAction

Creates a new Action to create a new vertex-counting automaton with maximum interface size maximumInterface over the signature signature, which accepts all graphs whose number of vertices is equal to remainder modulo divisor using the default dominating set encoding.

VertexCountingAutomatonAction(int, int, int, Signature, int, int, String) - Constructor for class de.uni_due.inf.ti.raven.actions.VertexCountingAutomatonAction

Creates a new Action to create a new vertex-counting automaton with maximum interface size maximumInterface over the signature signature, which accepts all graphs whose number of vertices is equal to remainder modulo divisor using the edge-counting encoding named by encodingName.

VertexCountingAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton

This class provides an AutomatonCreationPanel for creating a new VertexCountingAutomaton.

VertexCountingAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.VertexCountingAutomatonCreationPanel

VertexCountingAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton

This class provides an InformationPanel for displaying information about vertex-counting graph automata.

VertexCountingEncoding - Class in de.uni_due.inf.ti.raven.encodings

This class represents the encoding of state space and the transition functions of vertex-counting automata and provides methods to access the encoding.

VertexCoverAutomaton - Class in de.uni_due.inf.ti.raven.data.automata

This class implements a graph automaton accepting the language of all graphs which have a vertex cover of size at most k, i.e. a set C of nodes with size at most k such that each edge of the graph is incident to at least one node of C.

VertexCoverAutomatonAction - Class in de.uni_due.inf.ti.raven.actions

Handles creation of a new vertex cover automaton.

VertexCoverAutomatonAction(int, int, int, Signature, int) - Constructor for class de.uni_due.inf.ti.raven.actions.VertexCoverAutomatonAction

Creates a new Action to create a new vertex cover automaton with maximum interface size maximumInterface over the signature signature and with a maximum vertex cover size coverSize colors using the default vertex cover encoding.

VertexCoverAutomatonAction(int, int, int, Signature, int, String) - Constructor for class de.uni_due.inf.ti.raven.actions.VertexCoverAutomatonAction

Creates a new Action to create a new vertex cover automaton with maximum interface size maximumInterface over the signature signature and with a maximum vertex cover size coverSize colors using the vertex cover encoding named by encodingName.

VertexCoverAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton

This class provides an AutomatonCreationPanel for creating a new VertexCoverAutomaton.

VertexCoverAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.VertexCoverAutomatonCreationPanel

VertexCoverAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton

This class provides an InformationPanel for displaying information about vertex cover graph automata.

VertexCoverEncoding - Class in de.uni_due.inf.ti.raven.encodings

This class represents the encoding of state space and the transition functions of vertex cover automata and provides methods to access the encoding.

VertexCoverEncodingVisualizer - Class in de.uni_due.inf.ti.raven.gui.graphs

This class provides a Display to visualize VertexCover encodings.

VertexCoverEncodingVisualizer() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.VertexCoverEncodingVisualizer

visitA_list(DOTParser.A_listContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.a_list().

visitA_list(DOTParser.A_listContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.a_list().

visitAssignment(DOTParser.AssignmentContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser#assignment.

visitAssignment(DOTParser.AssignmentContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser#assignment.

visitAttr_list(DOTParser.Attr_listContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.attr_list().

visitAttr_list(DOTParser.Attr_listContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.attr_list().

visitAttr_stmt(DOTParser.Attr_stmtContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.attr_stmt().

visitAttr_stmt(DOTParser.Attr_stmtContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.attr_stmt().

visitAttributStatement(DOTParser.AttributStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser#attributStatement.

visitAttributStatement(DOTParser.AttributStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser#attributStatement.

visitEdge_stmt(DOTParser.Edge_stmtContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.edge_stmt().

visitEdge_stmt(DOTParser.Edge_stmtContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.edge_stmt().

visitEdgeop(DOTParser.EdgeopContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.edgeop().

visitEdgeop(DOTParser.EdgeopContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.edgeop().

visitEdgeRHS(DOTParser.EdgeRHSContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.edgeRHS().

visitEdgeRHS(DOTParser.EdgeRHSContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.edgeRHS().

visitEdgeStatement(DOTParser.EdgeStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser#edgeStatement.

visitEdgeStatement(DOTParser.EdgeStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser#edgeStatement.

visitErrorNode(ErrorNode) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener

The default implementation does nothing.

visitGraph(DOTParser.GraphContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.graph().

visitGraph(DOTParser.GraphContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.graph().

visitId(DOTParser.IdContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.id().

visitId(DOTParser.IdContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.id().

visitNode_id(DOTParser.Node_idContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.node_id().

visitNode_id(DOTParser.Node_idContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.node_id().

visitNode_stmt(DOTParser.Node_stmtContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.node_stmt().

visitNode_stmt(DOTParser.Node_stmtContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.node_stmt().

visitNodeStatement(DOTParser.NodeStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser#nodeStatement.

visitNodeStatement(DOTParser.NodeStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser#nodeStatement.

visitPort(DOTParser.PortContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.port().

visitPort(DOTParser.PortContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.port().

visitStmt_list(DOTParser.Stmt_listContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.stmt_list().

visitStmt_list(DOTParser.Stmt_listContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.stmt_list().

visitSubgraph(DOTParser.SubgraphContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser.subgraph().

visitSubgraph(DOTParser.SubgraphContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser.subgraph().

visitSubgraphStatement(DOTParser.SubgraphStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor

Visit a parse tree produced by DOTParser#subgraphStatement.

visitSubgraphStatement(DOTParser.SubgraphStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTVisitor

Visit a parse tree produced by DOTParser#subgraphStatement.

visitTerminal(TerminalNode) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener

The default implementation does nothing.

VisualGraph - Class in de.uni_due.inf.ti.raven.gui.graphs

This class is a utility class to layout the different "graphical" objects used in Raven such as graphs, cospans, automata, ...

VisualGraph() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph

Creates a new VisualGraph-object for the visualization of graphs.

VisualGraph(mxIGraphModel) - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph

Creates a new VisualGraph-object for the visualization of graphs depending on the mxIGraphModel model.

VisualGraph(mxStylesheet) - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph

Creates a new VisualGraph-object for the visualization of graphs initialized with the myStylesheet stylesheet.

VisualGraph(mxIGraphModel, mxStylesheet) - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph

Creates a new VisualGraph-object for the visualization of graphs depending on the mxIGraphModel model and initialized with the myStylesheet stylesheet.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _