- acceptPostfix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.Atom
-
- acceptPostfix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.BinaryValueExpression
-
- acceptPostfix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.EventLeaf
-
- acceptPostfix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
- acceptPostfix(HologramVisitor<T>) - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Accepts a hologram visitor into the operator
- acceptPostfix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Accepts a hologram visitor into the evaluation tree for this
operator
- acceptPostfix(HologramVisitor<U>, boolean) - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder.ParseNodeOperator
-
- acceptPostfix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.TruthConstant
-
- acceptPostfix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
- acceptPostfix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.UnaryTemporalOperator
-
- acceptPostfix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.statechart.InState
-
- acceptPrefix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.Atom
-
- acceptPrefix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.BinaryValueExpression
-
- acceptPrefix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.EventLeaf
-
- acceptPrefix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
- acceptPrefix(HologramVisitor<T>) - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Accepts a hologram visitor into the operator
- acceptPrefix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Accepts a hologram visitor into the evaluation tree for this
operator
- acceptPrefix(HologramVisitor<U>, boolean) - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder.ParseNodeOperator
-
- acceptPrefix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.TruthConstant
-
- acceptPrefix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
- acceptPrefix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.UnaryTemporalOperator
-
- acceptPrefix(HologramVisitor<T>, boolean) - Method in class ca.uqac.lif.ecp.statechart.InState
-
- Action<T extends Event> - Class in ca.uqac.lif.ecp.statechart
-
Action executed when a transition is fired in a statechart.
- Action() - Constructor for class ca.uqac.lif.ecp.statechart.Action
-
- ActionChain<T extends Event> - Class in ca.uqac.lif.ecp.statechart
-
List of actions to be applied on a single transition
- ActionChain() - Constructor for class ca.uqac.lif.ecp.statechart.ActionChain
-
Creates an empty chain of actions
- ActionChain(Action<T>...) - Constructor for class ca.uqac.lif.ecp.statechart.ActionChain
-
Creates a chain of actions
- ActionException - Exception in ca.uqac.lif.ecp.statechart
-
Exception thrown when a problem occurs when executing an action
- ActionException(Throwable) - Constructor for exception ca.uqac.lif.ecp.statechart.ActionException
-
- ActionException(String) - Constructor for exception ca.uqac.lif.ecp.statechart.ActionException
-
- ActionException.ValueOutOfBoundsException - Exception in ca.uqac.lif.ecp.statechart
-
Exception thrown when the value of a variable goes outside its
defined bounds
- ActionException.VariableNotFoundException - Exception in ca.uqac.lif.ecp.statechart
-
Exception thrown when a variable assignment refers to an undefined
variable
- ActionShallowHistory - Class in ca.uqac.lif.ecp.atomic
-
- ActionShallowHistory(Automaton, int) - Constructor for class ca.uqac.lif.ecp.atomic.ActionShallowHistory
-
- add(Vertex<AtomicEvent>) - Method in class ca.uqac.lif.ecp.atomic.Automaton
-
- add(Vertex<AtomicEvent>...) - Method in class ca.uqac.lif.ecp.atomic.Automaton
-
- add(T) - Method in class ca.uqac.lif.ecp.atomic.ShallowHistoryFunction.FixedSizeWindow
-
- add(Vertex<T>) - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Adds a vertex to this graph.
- add(Edge<T>) - Method in class ca.uqac.lif.ecp.graphs.Vertex
-
Adds an outgoing edge to this vertex
- add(HologramTransformation<T>) - Method in class ca.uqac.lif.ecp.ltl.HologramComposition
-
Adds a transformation to the composition
- add(Action<T>) - Method in class ca.uqac.lif.ecp.statechart.ActionChain
-
Adds an action to this action chain
- add(U) - Method in class ca.uqac.lif.ecp.statechart.ShallowHistoryFunction.FixedSizeWindow
-
- add(State<T>) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Adds a new state to this statechart
- add(int, Transition<T>) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Adds a new transition to the statechart
- add(String, Transition<T>) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Adds a new transition to the statechart
- addAll(Collection<Vertex<T>>) - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Adds a set of vertices to this graph.
- addArgument(CliParser.Argument) - Method in class ca.uqac.lif.ecp.cli.CliParser
-
Adds a command-line argument to the parser
- addChild(Configuration<T>) - Method in class ca.uqac.lif.ecp.statechart.Configuration
-
Adds a child node to this configuration
- addEdge(Hypergraph.Hyperedge) - Method in class ca.uqac.lif.ecp.graphs.Hypergraph
-
Adds a hyperedge to the hypergraph
- addIncomingPlace(Place<T>) - Method in class ca.uqac.lif.ecp.petrinet.Transition
-
- addIncomingTransition(Transition<T>) - Method in class ca.uqac.lif.ecp.petrinet.Place
-
- addOperand(Operator<T>) - Method in class ca.uqac.lif.ecp.ltl.EventLeaf
-
- addOperand(Operator<T>) - Method in class ca.uqac.lif.ecp.ltl.GroundTerm
-
- addOperand(Operator<T>) - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
- addOperand(Operator<T>) - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Adds an operand to this operator
- addOperand(Operator<U>) - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder.ParseNodeOperator
-
- addOperand(Operator<T>) - Method in class ca.uqac.lif.ecp.ltl.TruthConstant
-
- addOperand(Operator<T>) - Method in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
- addOperand(Operator<T>) - Method in class ca.uqac.lif.ecp.statechart.InState
-
- addOutgoingPlace(Place<T>) - Method in class ca.uqac.lif.ecp.petrinet.Transition
-
- addOutgoingTransition(Transition<T>) - Method in class ca.uqac.lif.ecp.petrinet.Place
-
- addStatechart(Statechart<T>) - Method in class ca.uqac.lif.ecp.statechart.NestedState
-
Sets the enclosed statechart that this box state contains
- afterGuard(AtomicEvent, Statechart<AtomicEvent>) - Method in class ca.uqac.lif.ecp.statechart.atomic.AtomicTransition
-
- afterGuard(T, Statechart<T>) - Method in class ca.uqac.lif.ecp.statechart.Transition
-
Checks whether a transition fires, after the guard on that transition
has been evaluated.
- afterGuard(T, Statechart<T>) - Method in class ca.uqac.lif.ecp.statechart.TrashTransition
-
- Alphabet<T> - Class in ca.uqac.lif.ecp
-
- Alphabet() - Constructor for class ca.uqac.lif.ecp.Alphabet
-
Creates an empty alphabet
- Alphabet(Alphabet<T>) - Constructor for class ca.uqac.lif.ecp.Alphabet
-
Creates a copy of an alphabet
- And<T extends Event> - Class in ca.uqac.lif.ecp.ltl
-
- And() - Constructor for class ca.uqac.lif.ecp.ltl.And
-
- And(Object...) - Constructor for class ca.uqac.lif.ecp.ltl.And
-
- applyTransition(T, Configuration<T>) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Attempts to apply a transition on this statechart
- Argument() - Constructor for class ca.uqac.lif.ecp.cli.CliParser.Argument
-
Constructs an empty argument
- ArgumentMap() - Constructor for class ca.uqac.lif.ecp.cli.CliParser.ArgumentMap
-
Instantiates an argument map
- Atom<T extends Event> - Class in ca.uqac.lif.ecp.ltl
-
Ground term that asserts that the current event is equal
to the event associated to this term
- Atom(T) - Constructor for class ca.uqac.lif.ecp.ltl.Atom
-
- AtomCollector() - Constructor for class ca.uqac.lif.ecp.ltl.AtomicLtlCayleyGraphFactory.AtomCollector
-
- AtomDeletion<T extends Event> - Class in ca.uqac.lif.ecp.ltl
-
- AtomDeletion() - Constructor for class ca.uqac.lif.ecp.ltl.AtomDeletion
-
- AtomicBoundedRandomGenerator - Class in ca.uqac.lif.ecp.atomic
-
- AtomicBoundedRandomGenerator(Random, int, int, Alphabet<AtomicEvent>) - Constructor for class ca.uqac.lif.ecp.atomic.AtomicBoundedRandomGenerator
-
- AtomicCayleyGraph<U> - Class in ca.uqac.lif.ecp.atomic
-
Special case of Cayley graph where the triaging function operates
over atomic events
- AtomicCayleyGraph() - Constructor for class ca.uqac.lif.ecp.atomic.AtomicCayleyGraph
-
- AtomicEdge - Class in ca.uqac.lif.ecp.atomic
-
- AtomicEdge(int, AtomicEvent, int) - Constructor for class ca.uqac.lif.ecp.atomic.AtomicEdge
-
- AtomicEvent - Class in ca.uqac.lif.ecp.atomic
-
- AtomicEvent(String) - Constructor for class ca.uqac.lif.ecp.atomic.AtomicEvent
-
Creates a new atomic event with given label
- AtomicGraphPlotter<U> - Class in ca.uqac.lif.ecp.atomic
-
Graph plotter for Cayley graphs made of atomic events
- AtomicGraphPlotter(CayleyGraph<AtomicEvent, U>) - Constructor for class ca.uqac.lif.ecp.atomic.AtomicGraphPlotter
-
- AtomicLtlCayleyGraphFactory - Class in ca.uqac.lif.ecp.ltl
-
Cayley graph factory whose triaging function is a based on a
propositional LTL formula
- AtomicLtlCayleyGraphFactory() - Constructor for class ca.uqac.lif.ecp.ltl.AtomicLtlCayleyGraphFactory
-
- AtomicLtlCayleyGraphFactory.AtomCollector - Class in ca.uqac.lif.ecp.ltl
-
Visitor that collects all the atoms occurring in the formula
- AtomicParserBuilder - Class in ca.uqac.lif.ecp.ltl
-
- AtomicParserBuilder() - Constructor for class ca.uqac.lif.ecp.ltl.AtomicParserBuilder
-
- AtomicParserBuilder(String) - Constructor for class ca.uqac.lif.ecp.ltl.AtomicParserBuilder
-
- AtomicParserBuilder(Scanner) - Constructor for class ca.uqac.lif.ecp.ltl.AtomicParserBuilder
-
- AtomicPetriNetBuilder - Class in ca.uqac.lif.ecp.petrinet
-
- AtomicPetriNetBuilder() - Constructor for class ca.uqac.lif.ecp.petrinet.AtomicPetriNetBuilder
-
- AtomicStatechart - Class in ca.uqac.lif.ecp.statechart.atomic
-
Statechart of atomic events whose alphabet is known in advance.
- AtomicStatechart() - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechart
-
- AtomicStatechart(String) - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechart
-
- AtomicStatechartBuilder - Class in ca.uqac.lif.ecp.statechart.atomic
-
Creates a statechart of atomic events out of a text string.
- AtomicStatechartBuilder() - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartBuilder
-
- AtomicStatechartCayleyGraphFactory<T> - Class in ca.uqac.lif.ecp.statechart.atomic
-
- AtomicStatechartCayleyGraphFactory(Statechart<AtomicEvent>) - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartCayleyGraphFactory
-
- AtomicStatechartRenderer - Class in ca.uqac.lif.ecp.statechart.atomic
-
Renders a statechart graphically
- AtomicStatechartRenderer() - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartRenderer
-
- AtomicStatechartRenderer.ChartStatePair - Class in ca.uqac.lif.ecp.statechart.atomic
-
- AtomicStateShallowHistory - Class in ca.uqac.lif.ecp.statechart.atomic
-
- AtomicStateShallowHistory(Statechart<AtomicEvent>) - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicStateShallowHistory
-
- AtomicStateShallowHistory(Statechart<AtomicEvent>, int) - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicStateShallowHistory
-
- AtomicThresholdRandomGenerator - Class in ca.uqac.lif.ecp.atomic
-
- AtomicThresholdRandomGenerator(Random, CoverageMetric<AtomicEvent, Float>, int, float, Alphabet<AtomicEvent>) - Constructor for class ca.uqac.lif.ecp.atomic.AtomicThresholdRandomGenerator
-
- AtomicTrace - Class in ca.uqac.lif.ecp.atomic
-
An ordered sequence of atomic events
- AtomicTrace() - Constructor for class ca.uqac.lif.ecp.atomic.AtomicTrace
-
- AtomicTransition - Class in ca.uqac.lif.ecp.statechart.atomic
-
Transition of a statechart where the label corresponds to an atomic event
- AtomicTransition(AtomicEvent) - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicTransition
-
Creates a new atomic transition
- AtomicTransition(AtomicEvent, Configuration<AtomicEvent>) - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicTransition
-
- AtomicTransition(AtomicEvent, Operator<AtomicEvent>, Action<AtomicEvent>, Configuration<AtomicEvent>) - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicTransition
-
- Automaton - Class in ca.uqac.lif.ecp.atomic
-
Implementation of a deterministic finite-state automaton.
- Automaton() - Constructor for class ca.uqac.lif.ecp.atomic.Automaton
-
- AutomatonCayleyGraphFactory<U> - Class in ca.uqac.lif.ecp.atomic
-
Class that creates a Cayley graph out of a triaging function based on a
finite-state automaton.
- AutomatonCayleyGraphFactory(Alphabet<AtomicEvent>) - Constructor for class ca.uqac.lif.ecp.atomic.AutomatonCayleyGraphFactory
-
- AutomatonExample - Class in examples.automaton
-
Shows a few functions for creating and manipulating finite-state automata.
- AutomatonExample() - Constructor for class examples.automaton.AutomatonExample
-
- AutomatonFunction<U> - Class in ca.uqac.lif.ecp.atomic
-
Triaging function based on a finite-state automaton
- AutomatonFunction(Automaton) - Constructor for class ca.uqac.lif.ecp.atomic.AutomatonFunction
-
Creates a new triaging function from an automaton
- AutomatonParser - Interface in ca.uqac.lif.ecp.atomic
-
Parses an automaton from a static source, such as a file or a string.
- AutomatonRenderer - Interface in ca.uqac.lif.ecp.atomic
-
Renders the content of an automaton.
- ca.uqac.lif.ecp - package ca.uqac.lif.ecp
-
- ca.uqac.lif.ecp.atomic - package ca.uqac.lif.ecp.atomic
-
- ca.uqac.lif.ecp.cli - package ca.uqac.lif.ecp.cli
-
- ca.uqac.lif.ecp.graphs - package ca.uqac.lif.ecp.graphs
-
- ca.uqac.lif.ecp.ltl - package ca.uqac.lif.ecp.ltl
-
- ca.uqac.lif.ecp.online - package ca.uqac.lif.ecp.online
-
- ca.uqac.lif.ecp.petrinet - package ca.uqac.lif.ecp.petrinet
-
Classes for manipulating specifications expressed as Petri nets.
- ca.uqac.lif.ecp.statechart - package ca.uqac.lif.ecp.statechart
-
- ca.uqac.lif.ecp.statechart.atomic - package ca.uqac.lif.ecp.statechart.atomic
-
UML statecharts made of atomic events
- ca.uqac.lif.ecp.util - package ca.uqac.lif.ecp.util
-
- ca.uqac.lif.structures - package ca.uqac.lif.structures
-
- castToDouble(Object) - Static method in class ca.uqac.lif.ecp.util.TypeHelper
-
Attempts to create a double number out of an object.
- castToInteger(Object) - Static method in class ca.uqac.lif.ecp.util.TypeHelper
-
Attempts to create an int number out of an object.
- CayleyCardinalityCoverage<T extends Event,U> - Class in ca.uqac.lif.ecp
-
Coverage of a set of traces based on the fraction of all traces whose
equivalence class for some triaging function is represented
in one of the prefixes of some trace.
- CayleyCardinalityCoverage(CayleyGraph<T, U>, TriagingFunction<T, U>) - Constructor for class ca.uqac.lif.ecp.CayleyCardinalityCoverage
-
- CayleyCategoryCoverage<T extends Event,U> - Class in ca.uqac.lif.ecp
-
Coverage of a set of traces based on the fraction of all equivalence classes
of the triaging function that are present in one of the prefixes of some
trace.
- CayleyCategoryCoverage(CayleyGraph<T, U>, TriagingFunction<T, U>) - Constructor for class ca.uqac.lif.ecp.CayleyCategoryCoverage
-
- CayleyCoverageMetric<T extends Event,U,V> - Class in ca.uqac.lif.ecp
-
Coverage metric based on a Cayley graph
- CayleyCoverageMetric(CayleyGraph<T, U>, TriagingFunction<T, U>) - Constructor for class ca.uqac.lif.ecp.CayleyCoverageMetric
-
- CayleyCoverageRadius<T extends Event,U> - Class in ca.uqac.lif.ecp
-
- CayleyCoverageRadius(CayleyGraph<T, U>, TriagingFunction<T, U>) - Constructor for class ca.uqac.lif.ecp.CayleyCoverageRadius
-
- CayleyCoverageRadius.RadiusMap - Class in ca.uqac.lif.ecp
-
A map from trace length ℓ to a rational number between 0 and 1.
- CayleyDiameterCoverage<T extends Event,U> - Class in ca.uqac.lif.ecp
-
Coverage of a set of traces based on the maximum length for which
all equivalence classes of some triaging function are represented
in one of the prefixes of some trace.
- CayleyDiameterCoverage(CayleyGraph<T, U>, TriagingFunction<T, U>) - Constructor for class ca.uqac.lif.ecp.CayleyDiameterCoverage
-
- CayleyGraph<T extends Event,U> - Class in ca.uqac.lif.ecp
-
Implementation of a Cayley Graph.
- CayleyGraph() - Constructor for class ca.uqac.lif.ecp.CayleyGraph
-
Creates an empty graph
- CayleyGraph(CayleyGraph<T, U>) - Constructor for class ca.uqac.lif.ecp.CayleyGraph
-
Creates a copy of a Cayley graph
- CayleyGraph.IsomorphismException - Exception in ca.uqac.lif.ecp
-
- CayleyGraph.LabelFormatter<X> - Class in ca.uqac.lif.ecp
-
- CayleyGraphFactory<T extends Event,U> - Class in ca.uqac.lif.ecp
-
Generates a Cayley graph using a generic algorithm.
- CayleyGraphFactory() - Constructor for class ca.uqac.lif.ecp.CayleyGraphFactory
-
- CayleyGraphFactory.VertexEventTracePair - Class in ca.uqac.lif.ecp
-
- CayleyGraphSolver<T extends Event,U> - Class in ca.uqac.lif.ecp.graphs
-
Solves a problem on a generalized Cayley graph
- CayleyGraphSolver(CayleyGraph<T, U>) - Constructor for class ca.uqac.lif.ecp.graphs.CayleyGraphSolver
-
Instantiates a new solver
- CayleyGraphTraceGenerator<T extends Event,U> - Class in ca.uqac.lif.ecp
-
Trace generator using a Cayley Graph.
- CayleyGraphTraceGenerator(CayleyGraph<T, U>) - Constructor for class ca.uqac.lif.ecp.CayleyGraphTraceGenerator
-
- CayleyVertexLabelling<U> - Class in ca.uqac.lif.ecp
-
Labelling of a Cayley Graph.
- CayleyVertexLabelling() - Constructor for class ca.uqac.lif.ecp.CayleyVertexLabelling
-
- chart - Variable in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartRenderer.ChartStatePair
-
- ChartStatePair(Statechart<AtomicEvent>, State<AtomicEvent>) - Constructor for class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartRenderer.ChartStatePair
-
- checkMapping(int, CayleyGraph<T, U>, int, Map<Integer, Integer>) - Method in class ca.uqac.lif.ecp.CayleyGraph
-
- childrenCount() - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
Gets the number of children in the expression
- childrenEquals(NaryOperator<T>) - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
Checks whether the children of this operator are equal to that of
another n-ary operator.
- clean() - Method in class ca.uqac.lif.ecp.ltl.BinaryTemporalOperator
-
- clean() - Method in class ca.uqac.lif.ecp.ltl.Equals
-
- clean() - Method in class ca.uqac.lif.ecp.ltl.EventLeaf
-
- clean() - Method in class ca.uqac.lif.ecp.ltl.GreaterThan
-
- clean() - Method in class ca.uqac.lif.ecp.ltl.GroundTerm
-
- clean() - Method in class ca.uqac.lif.ecp.ltl.LessThan
-
- clean() - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
- clean() - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Cleans the deleted nodes of the evaluation tree
- clean() - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder.ParseNodeOperator
-
- clean() - Method in class ca.uqac.lif.ecp.ltl.TruthConstant
-
- clean() - Method in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
- clean() - Method in class ca.uqac.lif.ecp.ltl.UnaryTemporalOperator
-
- clean() - Method in class ca.uqac.lif.ecp.statechart.InState
-
- clear() - Method in class ca.uqac.lif.ecp.ltl.BinaryTemporalOperator
-
- clear() - Method in class ca.uqac.lif.ecp.ltl.GroundTerm
-
- clear() - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
- clear() - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Clears the state of this operator
- clear() - Method in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
- clear() - Method in class ca.uqac.lif.ecp.ltl.UnaryTemporalOperator
-
- CliMain - Class in ca.uqac.lif.ecp.cli
-
Main class to use the library as a stand-alone command-line program.
- CliMain() - Constructor for class ca.uqac.lif.ecp.cli.CliMain
-
- CliParser - Class in ca.uqac.lif.ecp.cli
-
A simple command-line parser
- CliParser() - Constructor for class ca.uqac.lif.ecp.cli.CliParser
-
- CliParser.Argument - Class in ca.uqac.lif.ecp.cli
-
Representation of a command line argument.
- CliParser.ArgumentMap - Class in ca.uqac.lif.ecp.cli
-
- clone() - Method in class ca.uqac.lif.ecp.statechart.atomic.AtomicTransition
-
- clone(Statechart<T>) - Method in class ca.uqac.lif.ecp.statechart.NestedState
-
- clone(Statechart<T>) - Method in class ca.uqac.lif.ecp.statechart.State
-
- clone(Statechart<T>) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Creates a copy of this statechart
- clone() - Method in class ca.uqac.lif.ecp.statechart.Transition
-
- clone() - Method in class ca.uqac.lif.ecp.statechart.TrashTransition
-
- close() - Method in class examples.online.MethodCalls.Microwave
-
- ConcreteValue<T,U> - Class in ca.uqac.lif.ecp.ltl
-
- ConcreteValue() - Constructor for class ca.uqac.lif.ecp.ltl.ConcreteValue
-
- Configuration<T extends Event> - Class in ca.uqac.lif.ecp.statechart
-
Serialization of the internal state of a statechart.
- Configuration(String) - Constructor for class ca.uqac.lif.ecp.statechart.Configuration
-
Creates a new configuration with a state of given name
- Configuration(String, Configuration<T>...) - Constructor for class ca.uqac.lif.ecp.statechart.Configuration
-
- Configuration(String, Map<String, Object>, Configuration<T>...) - Constructor for class ca.uqac.lif.ecp.statechart.Configuration
-
- Configuration.UpStateNode<U extends Event> - Class in ca.uqac.lif.ecp.statechart
-
- ConfigurationShallowHistory<T extends Event> - Class in ca.uqac.lif.ecp.statechart
-
Triaging function that associates a trace to the list of the
last n configurations of the statechart.
- ConfigurationShallowHistory(Statechart<T>, int) - Constructor for class ca.uqac.lif.ecp.statechart.ConfigurationShallowHistory
-
- ConfigurationShallowHistory(Statechart<T>) - Constructor for class ca.uqac.lif.ecp.statechart.ConfigurationShallowHistory
-
- Constant<T,U> - Class in ca.uqac.lif.ecp.ltl
-
- Constant(U) - Constructor for class ca.uqac.lif.ecp.ltl.Constant
-
Creates a new constant
- consume() - Method in class ca.uqac.lif.ecp.petrinet.Place
-
- contains(String) - Method in class ca.uqac.lif.ecp.statechart.Configuration
-
Checks whether a configuration contains a state with given name
- containsVariable(String) - Method in class ca.uqac.lif.ecp.statechart.Configuration
-
Checks if the current configuration contains a variable of given name
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.And
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Atom
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Equals
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.EventLeaf
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Eventually
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Globally
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.GreaterThan
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Implies
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.LessThan
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Next
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Not
-
- copy() - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Creates a deep copy of this operator
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Creates a deep copy of this operator
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Or
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder.ParseNodeOperator
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Release
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.TruthConstant
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.Until
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.ltl.WeakUntil
-
- copy(boolean) - Method in class ca.uqac.lif.ecp.statechart.InState
-
- copyInto(NaryOperator<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
Copies the internal content of this operator into a new instance
- copyInto(Operator<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Copies the internal content of this operator into a new instance
- copyInto(UnaryOperator<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
Copies the internal content of this operator into a new instance
- copyInto(UnaryTemporalOperator<T>, boolean) - Method in class ca.uqac.lif.ecp.ltl.UnaryTemporalOperator
-
Copies the internal content of this operator into a new instance
- countCoveredCombinations(Map<Vector<T>, Boolean>) - Method in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
Computes the number of covered combinations in the present map
(i.e.
- CoverageMetric<T extends Event,V> - Class in ca.uqac.lif.ecp
-
Function associating a test suite to a coverage value
- CoverageMetric() - Constructor for class ca.uqac.lif.ecp.CoverageMetric
-
Creates a new coverage metric instance
- CoverageRadius - Class in examples.coverage
-
Display the coverage radius graph from a test suite.
- CoverageRadius() - Constructor for class examples.coverage.CoverageRadius
-
- CRLF - Static variable in class ca.uqac.lif.ecp.atomic.AtomicTrace
-
The OS-dependent line separator
- CRLF - Static variable in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartRenderer
-
- generateHolograms(String) - Method in class ca.uqac.lif.ecp.ltl.LtlCayleyGraphRenderer
-
Tells the renderer to generate the holograms for each vertex
and to write them as DOT files into the given path
- generateTrace(int) - Method in class ca.uqac.lif.ecp.atomic.GreedyAutomatonGenerator
-
- generateTrace(int) - Method in class ca.uqac.lif.ecp.GreedyTraceGenerator
-
Randomly generates a trace of given length
- generateTrace(int) - Method in class ca.uqac.lif.ecp.ltl.GreedyLtlGenerator
-
- generateTrace(int) - Method in class ca.uqac.lif.ecp.statechart.GreedyAtomicStatechartGenerator
-
- generateTraces() - Method in class ca.uqac.lif.ecp.BoundedRandomTraceGenerator
-
- generateTraces() - Method in class ca.uqac.lif.ecp.GreedyTraceGenerator
-
- generateTraces() - Method in class ca.uqac.lif.ecp.HypergraphTraceGenerator
-
- generateTraces() - Method in class ca.uqac.lif.ecp.SpanningTreeTraceGenerator
-
- generateTraces() - Method in class ca.uqac.lif.ecp.ThresholdRandomTraceGenerator
-
- generateTraces() - Method in class ca.uqac.lif.ecp.TraceGenerator
-
Generates a set of traces
- generateTraces() - Method in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
- getAction() - Method in class ca.uqac.lif.ecp.statechart.Transition
-
Gets the action associated to this transition
- getAdjacencyMatrix() - Method in class ca.uqac.lif.ecp.CayleyGraph
-
Produces the adjacency matrix of the Cayley Graph.
- getAdjacencyMatrix() - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Produces the adjacency matrix of the Cayley Graph.
- getAlphabet() - Method in class ca.uqac.lif.ecp.atomic.Automaton
-
Gets the set of all symbols occurring on edge labels in the graph.
- getAlphabet() - Method in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechart
-
Gets the set of all the events that occur as transition labels in this
statechart
- getAnyAtomicChild() - Method in class ca.uqac.lif.ecp.statechart.NestedState
-
Returns an arbitrary state inside this nested state that is not a
NestedState.
- getAnyAtomicChild() - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Returns an arbitrary state of this statechart that is not a
NestedState.
- getAnyAtomicChild(State<T>) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Returns an arbitrary state of this statechart that is not a
NestedState and is contained within the state
given as argument.
- getCayleyGraph() - Method in class ca.uqac.lif.ecp.atomic.ShallowHistoryFunction
-
- getCayleyGraph() - Method in class ca.uqac.lif.ecp.ltl.HologramFunction
-
- getCayleyGraph() - Method in class ca.uqac.lif.ecp.statechart.atomic.AtomicStateShallowHistory
-
- getCayleyGraph() - Method in class ca.uqac.lif.ecp.TriagingFunction
-
Gets the Cayley Graph corresponding to this triaging function
- getChildren() - Method in class ca.uqac.lif.ecp.statechart.Configuration
-
Gets the list of children of this configuration
- getClass(Trace<T>) - Method in class ca.uqac.lif.ecp.ltl.HologramFunction
-
Gets the equivalence class associated with a given trace
- getClass(Trace<T>) - Method in class ca.uqac.lif.ecp.TriagingFunction
-
Gets the equivalence class associated with a given trace
- getClassCardinality(int, boolean) - Method in class ca.uqac.lif.ecp.CayleyGraph
-
Computes the number of traces of a given length that belong to
each equivalence class
- getClassesByDepth() - Method in class ca.uqac.lif.ecp.CayleyGraph
-
Produces a map telling what are the equivalence classes reachable
at each depth of the Cayley graph
- getClassesByDepth(Map<Integer, Set<MathSet<U>>>, Map<MathSet<U>, Integer>, Set<Integer>, Vertex<T>, int, int) - Method in class ca.uqac.lif.ecp.CayleyGraph
-
Produces a map telling what are the equivalence classes reachable
at each depth of the Cayley graph
- getClosureGraph(CayleyGraph<T, U>) - Method in class ca.uqac.lif.ecp.PrefixCategoryClosure
-
Gets the prefix closure graph of the Cayley graph
- getCombinations() - Method in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
Gets the set of all combinations of t events
- getCombinations(Vector<T>, Alphabet<T>, int) - Method in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
Gets the set of all combinations of t events
- getCombinations(Trace<T>) - Method in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
Gets the combinations of events contained in the current trace
- getCombinations(Trace<T>, Vector<T>, int, int) - Method in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
Gets the combinations of events contained in the current trace
- getConstant(Operator.Value) - Method in class ca.uqac.lif.ecp.ltl.TruthConstant
-
Gets an instance of truth constant based on a truth value
- getConstant(Boolean) - Method in class ca.uqac.lif.ecp.ltl.TruthConstant
-
Gets an instance of truth constant based on a Boolean value
- getContents() - Method in class ca.uqac.lif.ecp.statechart.NestedState
-
Gets the statecharts contained within this nested state
- getCover() - Method in class ca.uqac.lif.ecp.graphs.GreedyHypergraphEdgeCover
-
- getCover() - Method in class ca.uqac.lif.ecp.graphs.HypergraphEdgeCover
-
Gets a covering of the hyperedges
- getCoverage(Set<Trace<T>>) - Method in class ca.uqac.lif.ecp.CayleyCardinalityCoverage
-
- getCoverage(Set<Trace<T>>) - Method in class ca.uqac.lif.ecp.CayleyCategoryCoverage
-
- getCoverage(Set<Trace<T>>) - Method in class ca.uqac.lif.ecp.CayleyCoverageRadius
-
- getCoverage(Set<Trace<T>>) - Method in class ca.uqac.lif.ecp.CayleyDiameterCoverage
-
- getCoverage(Set<Trace<T>>) - Method in class ca.uqac.lif.ecp.CoverageMetric
-
Gets the coverage of the set of traces according to the metric
- getCoveredClasses(Set<Trace<T>>, boolean) - Method in class ca.uqac.lif.ecp.CayleyCoverageMetric
-
Returns the set of all the equivalences classes covered by a set
of traces
- getCoveredClasses(Trace<T>, boolean) - Method in class ca.uqac.lif.ecp.CayleyCoverageMetric
-
Returns the set of all the equivalences classes covered by a
traces and all its prefixes
- getCurrentConfiguration() - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Gets the identifier of the current state of the statechart.
- getDepth() - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph.DepthVisitor
-
Gets the depth of the graph
- getDepth() - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Gets the depth of the graph.
- getDestination() - Method in class ca.uqac.lif.ecp.Edge
-
Gets the ID of the destination vertex for that edge
- getEdgeCount() - Method in class ca.uqac.lif.ecp.graphs.Hypergraph
-
Gets the number of hyperedges in the graph
- getEdgeCount() - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Gets the number of edges in the graph
- getEdgeCount() - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Counts the edges in this statechart
- getEdges() - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Gets the list of all edges in the graph
- getEdges() - Method in class ca.uqac.lif.ecp.graphs.Vertex
-
Gets the outgoing edges from this vertex
- getEdgeStyle(Operator<?>) - Static method in class ca.uqac.lif.ecp.ltl.GraphvizHologramRenderer
-
- getEdgeWithDestinationId(Set<Edge<T>>, T, int) - Method in class ca.uqac.lif.ecp.CayleyGraph
-
- getEquivalenceClass(Hypergraph.Hyperedge, MathMap<Integer, U>) - Method in class ca.uqac.lif.ecp.HypergraphTraceGenerator
-
Gets the equivalence class corresponding to a hyperedge
- getEvent() - Method in class ca.uqac.lif.ecp.ltl.Atom
-
Gets the event that this atom asserts
- getEvent() - Method in class ca.uqac.lif.ecp.statechart.atomic.AtomicTransition
-
Gets the event associated to this transition
- getEvents() - Method in class ca.uqac.lif.ecp.ltl.AtomicLtlCayleyGraphFactory.AtomCollector
-
- getException() - Method in class ca.uqac.lif.ecp.statechart.TrashTransition
-
Gets the exception that provoked the firing of this transition
- getFirstVertexWithLabelling(MathSet<U>) - Method in class ca.uqac.lif.ecp.CayleyGraph
-
Gets the first vertex that is labelled with a given equivalence class
- getFormula() - Method in class ca.uqac.lif.ecp.ltl.HologramFunction
-
Gets the formula on which this function operates
- getGraph(TriagingFunction<T, U>) - Method in class ca.uqac.lif.ecp.CayleyGraphFactory
-
- getGraph(TriagingFunction<T, U>, CayleyGraph.LabelFormatter<U>) - Method in class ca.uqac.lif.ecp.CayleyGraphFactory
-
- getGraph(TriagingFunction<AtomicEvent, Operator<AtomicEvent>>) - Method in class ca.uqac.lif.ecp.ltl.AtomicLtlCayleyGraphFactory
-
- getGraph(HologramFunction<AtomicEvent>) - Method in class ca.uqac.lif.ecp.ltl.AtomicLtlCayleyGraphFactory
-
- getGuard() - Method in class ca.uqac.lif.ecp.statechart.Transition
-
Gets the guard associated to this transition
- getHash(Operator<T>) - Method in class ca.uqac.lif.ecp.ltl.HologramHasher
-
- getId() - Method in class ca.uqac.lif.ecp.graphs.Vertex
-
Gets this vertex's ID
- getId() - Method in class ca.uqac.lif.ecp.statechart.State
-
Gets the state's ID
- getInitialConfiguration() - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Gets the initial configuration of this statechart
- getInitialState() - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Gets the initial state of this statechart
- getInitialVertex() - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Gets the initial vertex of the Cayley graph
- getLabel() - Method in class ca.uqac.lif.ecp.atomic.AtomicEvent
-
Gets the event's label
- getLabel(String) - Method in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
- getLabel() - Method in class ca.uqac.lif.ecp.Edge
-
Gets the label of the edge
- getLabelling() - Method in class ca.uqac.lif.ecp.CayleyGraph
-
Gets the labelling associated to the vertices of the graph
- getLastCoverage() - Method in class ca.uqac.lif.ecp.GreedyTraceGenerator
-
- getLastState(Statechart<AtomicEvent>, Configuration<AtomicEvent>) - Static method in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartRenderer
-
- getMessage() - Method in exception ca.uqac.lif.ecp.CayleyGraph.IsomorphismException
-
- getMessage() - Method in exception ca.uqac.lif.ecp.ltl.OperatorBuilder.BuildException
-
- getName() - Method in class ca.uqac.lif.ecp.statechart.Configuration
-
Gets the name of the state associated to this configuration node
- getName() - Method in class ca.uqac.lif.ecp.statechart.State
-
Gets the state's name
- getNextEvents(Vertex<AtomicEvent>) - Method in class ca.uqac.lif.ecp.atomic.AutomatonCayleyGraphFactory
-
- getNextEvents(Vertex<T>) - Method in class ca.uqac.lif.ecp.CayleyGraphFactory
-
- getNextEvents(Vertex<AtomicEvent>) - Method in class ca.uqac.lif.ecp.ltl.AtomicLtlCayleyGraphFactory
-
- getNextEvents(Vertex<AtomicEvent>) - Method in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartCayleyGraphFactory
-
- getNodeWithId(int, Collection<ForestNode<T>>) - Method in class ca.uqac.lif.ecp.graphs.ForestNode
-
- getNumCompletedTraces() - Method in class ca.uqac.lif.ecp.online.TestDriver
-
Gets the number of traces that have been fully executed by
the driver so far
- getNumExecutedEvents() - Method in class ca.uqac.lif.ecp.online.TestDriver
-
Gets the total number of events that have been executed by
the driver so far
- getOperator() - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder.LtlVisitor
-
Gets the expression built by this visitor
- getOptionValue(String) - Method in class ca.uqac.lif.ecp.cli.CliParser.ArgumentMap
-
Gets the value of an argument
- getOrCreate(int, Map<Integer, Vertex<T>>) - Method in class ca.uqac.lif.ecp.graphs.DijkstraSteinerTree
-
- getOrderedSpanningTree(CayleyGraph<T, ?>) - Method in class ca.uqac.lif.ecp.graphs.ForestNode
-
Compute an ordered spanning tree of a weighted graph.
- getOthers() - Method in class ca.uqac.lif.ecp.cli.CliParser.ArgumentMap
-
Returns the list of all unnamed arguments
- getParent() - Method in class ca.uqac.lif.ecp.graphs.ForestNode
-
Gets the parent of this node
- getParent() - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Gets the enclosing instance of this statechart
- getPaths() - Method in class ca.uqac.lif.ecp.graphs.BreadthFirstSteinerTree.SteinerVisitor
-
- getPlace(String) - Method in class ca.uqac.lif.ecp.petrinet.PetriNet
-
Gets the place with given label
- getRandomTrace() - Method in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
Generates a random trace composed of all elements of the alphabet
- getRank() - Method in class ca.uqac.lif.ecp.graphs.ForestNode
-
Gets the rank of this node
- getRootSymbol() - Method in class ca.uqac.lif.ecp.ltl.Atom
-
- getRootSymbol() - Method in class ca.uqac.lif.ecp.ltl.Equals
-
- getRootSymbol() - Method in class ca.uqac.lif.ecp.ltl.EventLeaf
-
- getRootSymbol() - Method in class ca.uqac.lif.ecp.ltl.GreaterThan
-
- getRootSymbol() - Method in class ca.uqac.lif.ecp.ltl.LessThan
-
- getRootSymbol() - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
- getRootSymbol() - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Gets the symbol of the operator for the root of the evaluation tree
- getRootSymbol() - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder.ParseNodeOperator
-
- getRootSymbol() - Method in class ca.uqac.lif.ecp.ltl.TruthConstant
-
- getRootSymbol() - Method in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
- getRootSymbol() - Method in class ca.uqac.lif.ecp.statechart.InState
-
- getShortestPaths() - Method in class ca.uqac.lif.ecp.graphs.DijkstraShortestPaths
-
- getShortestPaths() - Method in class ca.uqac.lif.ecp.graphs.ShortestPaths
-
- getSource() - Method in class ca.uqac.lif.ecp.Edge
-
Gets the ID of the source vertex for that edge
- getSpanningTree() - Method in class ca.uqac.lif.ecp.graphs.SpanningTree
-
Gets the spanning tree from the solver's graph
- getSpanningTree() - Method in class ca.uqac.lif.ecp.graphs.UnionFindSpanningTree
-
- getSpanningTree() - Method in class ca.uqac.lif.ecp.SpanningTreeTraceGenerator
-
Creates the minimum spanning tree of the Cayley graph
- getStartClass() - Method in class ca.uqac.lif.ecp.atomic.ActionShallowHistory
-
- getStartClass() - Method in class ca.uqac.lif.ecp.atomic.StateShallowHistory
-
- getStartClass() - Method in class ca.uqac.lif.ecp.atomic.TransitionShallowHistory
-
- getStartClass() - Method in class ca.uqac.lif.ecp.ltl.HologramFunction
-
- getStartClass() - Method in class ca.uqac.lif.ecp.statechart.ConfigurationShallowHistory
-
- getStartClass() - Method in class ca.uqac.lif.ecp.statechart.StateShallowHistory
-
- getStartClass() - Method in class ca.uqac.lif.ecp.TriagingFunction
-
Gets the equivalence class for the empty trace
- getState(int) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Gets a state with given ID
- getState(String) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Gets a state with given name
- getStates() - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Gets the states of this statechart
- getString() - Method in class ca.uqac.lif.ecp.ltl.HtmlBeautifier
-
- getSubgraph(Set<List<Edge<T>>>) - Method in class ca.uqac.lif.ecp.graphs.BreadthFirstSteinerTree
-
Creates a subgraph from graph, made by including only vertices and
edges contained in a given set of paths
- getTarget() - Method in class ca.uqac.lif.ecp.statechart.Transition
-
Gets the target of this transition
- getTarget() - Method in class ca.uqac.lif.ecp.statechart.TrashTransition
-
- getTitle() - Method in class ca.uqac.lif.ecp.atomic.Automaton
-
Gets the title of this automaton
- getTotalLength() - Method in class ca.uqac.lif.ecp.TestSuite
-
Gets the total length of the test suite
- getTraces() - Method in class ca.uqac.lif.ecp.graphs.TreeCollector
-
- getTransition(Vertex<AtomicEvent>, AtomicEvent) - Method in class ca.uqac.lif.ecp.atomic.Automaton
-
Takes a transition from a given state
- getTransitions() - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
- getTree() - Method in class ca.uqac.lif.ecp.graphs.BreadthFirstSteinerTree
-
- getTree() - Method in class ca.uqac.lif.ecp.graphs.DijkstraSteinerTree
-
- getTree() - Method in class ca.uqac.lif.ecp.graphs.SteinerTree
-
Gets a Steiner tree from the Cayley graph and set of important
vertices
- getTreeChildren() - Method in class ca.uqac.lif.ecp.ltl.EventLeaf
-
- getTreeChildren() - Method in class ca.uqac.lif.ecp.ltl.GroundTerm
-
- getTreeChildren() - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
- getTreeChildren() - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Gets the ordered list of the children in the evaluation tree for this
operator
- getTreeChildren() - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder.ParseNodeOperator
-
- getTreeChildren() - Method in class ca.uqac.lif.ecp.ltl.TruthConstant
-
- getTreeChildren() - Method in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
- getTreeChildren() - Method in class ca.uqac.lif.ecp.ltl.UnaryTemporalOperator
-
- getTreeChildren() - Method in class ca.uqac.lif.ecp.statechart.InState
-
- getValue() - Method in class ca.uqac.lif.ecp.graphs.ForestNode
-
Gets the value of this node, i.e.
- getValue(T) - Method in class ca.uqac.lif.ecp.ltl.ConcreteValue
-
Fetches the value on this structure
- getValue(T) - Method in class ca.uqac.lif.ecp.ltl.Constant
-
- getValue() - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Gets the current truth value of the operator
- getValue(T) - Method in class ca.uqac.lif.ecp.statechart.StatechartVariableAtom
-
- getVariable(String) - Method in class ca.uqac.lif.ecp.statechart.Configuration
-
Retrieves the value of a state variable
- getVariable(String) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Gets the value of a state variable
- getVertex(int) - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Gets the vertex with given ID
- getVertex(Map<Integer, Set<PrefixCategoryClosure<T, U>.StateVertex<T>>>, CayleyVertexLabelling<U>, MathSet<U>, int) - Method in class ca.uqac.lif.ecp.PrefixCategoryClosure
-
Gets a vertex based on its labelling
- getVertexCount() - Method in class ca.uqac.lif.ecp.graphs.Hypergraph
-
Gets the number of vertices in the graph
- getVertexCount() - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Gets the number of vertices in the graph
- getVertexLabels() - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Fetches the list of all vertex IDs present in the graph
- getVertexStyle(Operator<?>) - Static method in class ca.uqac.lif.ecp.ltl.GraphvizHologramRenderer
-
- getVertexWithId(int) - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Gets the vertex with given ID
- getVertexWithMinimumDistance(Set<Integer>, Map<Integer, Integer>) - Method in class ca.uqac.lif.ecp.graphs.DijkstraShortestPaths
-
- getVertices() - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Gets the set of vertices of this graph
- getWeight() - Method in class ca.uqac.lif.ecp.Edge
-
Gets the edge's weight
- getWithValue(V) - Method in class ca.uqac.lif.structures.MathMap
-
Gets the index of the key for a given value.
- GffAutomatonParser - Class in ca.uqac.lif.ecp.atomic
-
- GffAutomatonParser() - Constructor for class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
Creates a new instance of the parser.
- GffAutomatonParser.Element - Enum in ca.uqac.lif.ecp.atomic
-
The main sections of the XML document
- Globally<T extends Event> - Class in ca.uqac.lif.ecp.ltl
-
- Globally() - Constructor for class ca.uqac.lif.ecp.ltl.Globally
-
- Globally(Operator<T>) - Constructor for class ca.uqac.lif.ecp.ltl.Globally
-
- GraphPlotter<T extends Event,U> - Class in ca.uqac.lif.ecp
-
Generates a plot from a Cayley Graph
- GraphPlotter(CayleyGraph<T, U>) - Constructor for class ca.uqac.lif.ecp.GraphPlotter
-
Creates a new plotter for a given graph
- GraphPlotter.Format - Enum in ca.uqac.lif.ecp
-
The format of the resulting graph.
- GraphvizHologramRenderer<T extends Event> - Class in ca.uqac.lif.ecp.ltl
-
- GraphvizHologramRenderer() - Constructor for class ca.uqac.lif.ecp.ltl.GraphvizHologramRenderer
-
- GreaterThan<T extends Event> - Class in ca.uqac.lif.ecp.ltl
-
Expression comparing the value of two quantities.
- GreaterThan(ConcreteValue<T, Number>, ConcreteValue<T, Number>) - Constructor for class ca.uqac.lif.ecp.ltl.GreaterThan
-
- GreedyAtomicStatechartGenerator - Class in ca.uqac.lif.ecp.statechart
-
Greedy generator when the input specification is an atomic UML statechart.
- GreedyAtomicStatechartGenerator(Statechart<AtomicEvent>, Random, CoverageMetric<AtomicEvent, Float>) - Constructor for class ca.uqac.lif.ecp.statechart.GreedyAtomicStatechartGenerator
-
Creates a greedy generator.
- GreedyAutomatonGenerator - Class in ca.uqac.lif.ecp.atomic
-
Greedy generator when the input specification is a finite-state automaton.
- GreedyAutomatonGenerator(Automaton, Random, CoverageMetric<AtomicEvent, Float>) - Constructor for class ca.uqac.lif.ecp.atomic.GreedyAutomatonGenerator
-
Creates a greedy generator.
- GreedyHypergraphEdgeCover - Class in ca.uqac.lif.ecp.graphs
-
Solves the hypergraph edge cover by a greedy approach.
- GreedyHypergraphEdgeCover(Hypergraph) - Constructor for class ca.uqac.lif.ecp.graphs.GreedyHypergraphEdgeCover
-
- GreedyLtlGenerator - Class in ca.uqac.lif.ecp.ltl
-
Greedy generator when the input specification is a finite-state automaton.
- GreedyLtlGenerator(Operator<AtomicEvent>, Alphabet<AtomicEvent>, Random, CoverageMetric<AtomicEvent, Float>) - Constructor for class ca.uqac.lif.ecp.ltl.GreedyLtlGenerator
-
- GreedyTestSuiteFilter<T extends Event,U> - Class in ca.uqac.lif.ecp
-
- GreedyTestSuiteFilter(TriagingFunction<T, U>) - Constructor for class ca.uqac.lif.ecp.GreedyTestSuiteFilter
-
- GreedyTraceGenerator<T extends Event> - Class in ca.uqac.lif.ecp
-
Generates a test suite using a greedy algorithm.
- GreedyTraceGenerator(Random, CoverageMetric<T, Float>) - Constructor for class ca.uqac.lif.ecp.GreedyTraceGenerator
-
- GroundTerm<T extends Event> - Class in ca.uqac.lif.ecp.ltl
-
Ground term of an expression
- GroundTerm() - Constructor for class ca.uqac.lif.ecp.ltl.GroundTerm
-
- m_action - Variable in class ca.uqac.lif.ecp.statechart.Transition
-
The action associated to this transition.
- m_actions - Variable in class ca.uqac.lif.ecp.statechart.ActionChain
-
- m_alphabet - Variable in class ca.uqac.lif.ecp.atomic.AtomicBoundedRandomGenerator
-
The alphabet to pick events from
- m_alphabet - Variable in class ca.uqac.lif.ecp.atomic.AtomicThresholdRandomGenerator
-
The alphabet to pick events from
- m_alphabet - Variable in class ca.uqac.lif.ecp.atomic.Automaton
-
The alphabet associated to this automaton
- m_alphabet - Variable in class ca.uqac.lif.ecp.atomic.AutomatonCayleyGraphFactory
-
- m_alphabet - Variable in class ca.uqac.lif.ecp.ltl.GreedyLtlGenerator
-
The set of possible events.
- m_alphabet - Variable in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechart
-
The alphabet associated to this statechart
- m_alphabet - Variable in class ca.uqac.lif.ecp.statechart.GreedyAtomicStatechartGenerator
-
The alphabet of this statechart
- m_alphabet - Variable in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
The alphabet used
- m_arguments - Variable in class ca.uqac.lif.ecp.cli.CliParser
-
- m_automaton - Variable in class ca.uqac.lif.ecp.atomic.AutomatonFunction
-
The automaton this function uses as its reference
- m_automaton - Variable in class ca.uqac.lif.ecp.atomic.GreedyAutomatonGenerator
-
The automaton used
- m_buffer - Variable in class ca.uqac.lif.ecp.ltl.GraphvizHologramRenderer
-
The buffer where the graph will be written
- m_caption - Variable in class ca.uqac.lif.ecp.ltl.GraphvizHologramRenderer
-
The caption to write to the graph
- m_children - Variable in class ca.uqac.lif.ecp.statechart.Configuration
-
Possible children of this state node
- m_collectedEvents - Variable in class ca.uqac.lif.ecp.ltl.AtomicLtlCayleyGraphFactory.AtomCollector
-
- m_completedTraces - Variable in class ca.uqac.lif.ecp.online.TestDriver
-
The number of sequences in the test suite that the driver has
completed so far
- m_coverageThreshold - Variable in class ca.uqac.lif.ecp.ThresholdRandomTraceGenerator
-
The coverage threshold to obtain with the set of traces
- m_cumulative - Variable in class ca.uqac.lif.ecp.CayleyCardinalityCoverage
-
Whether the cardinality considers all traces up to a given
length (true), or exactly of given length (false)
- m_cumulative - Variable in class ca.uqac.lif.ecp.CayleyDiameterCoverage
-
Whether the cardinality considers all traces up to a given
length (true), or exactly of given length (false)
- m_currentState - Variable in class ca.uqac.lif.ecp.statechart.Statechart
-
The ID of the current state in the execution of the statechart
- m_currentVertex - Variable in class ca.uqac.lif.ecp.atomic.AutomatonFunction
-
The current vertex in the automaton after reading the previous
events
- m_currentVertex - Variable in class ca.uqac.lif.ecp.statechart.StatechartFunction
-
The current vertex in the automaton after reading the previous
events
- m_deleteAtoms - Variable in class ca.uqac.lif.ecp.ltl.LeafDeletion
-
If set to true, will delete atoms in addition to leaves
- m_deleted - Variable in class ca.uqac.lif.ecp.ltl.Operator
-
Whether this node is deleted from a hologram
- m_depth - Variable in class ca.uqac.lif.ecp.ltl.DepthFiltering
-
The depth at which to cut the tree
- m_destination - Variable in class ca.uqac.lif.ecp.Edge
-
The ID of the vertex in the graph that is the destination of this edge
- m_done - Variable in class ca.uqac.lif.ecp.online.UnidirectionalTestDriver
-
Whether the driver is done playing back all traces
- m_doorOpen - Variable in class examples.online.MethodCalls.Microwave
-
- m_dstSolver - Variable in class ca.uqac.lif.ecp.HypergraphTraceGenerator
-
Solver used for the directed Steiner tree problem
- m_edges - Variable in class ca.uqac.lif.ecp.graphs.Hypergraph
-
The set of hyperedges of the graph
- m_empty - Variable in class examples.online.MethodCalls.Microwave
-
- m_event - Variable in class ca.uqac.lif.ecp.ltl.Atom
-
The event that this atom asserts
- m_event - Variable in class ca.uqac.lif.ecp.ltl.EventLeaf
-
- m_event - Variable in class ca.uqac.lif.ecp.statechart.atomic.AtomicTransition
-
The event this transitions is supposed to match
- m_eventIterator - Variable in class ca.uqac.lif.ecp.online.UnidirectionalTestDriver
-
An iterator over the events of a trace
- m_events - Variable in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
A map between atomic symbols and atomic events
- m_eventSeen - Variable in class ca.uqac.lif.ecp.ltl.GroundTerm
-
The event we've seen when we evaluated the atom
- m_eventSeen - Variable in class ca.uqac.lif.ecp.statechart.InState
-
The event seen
- m_exception - Variable in class ca.uqac.lif.ecp.statechart.TrashTransition
-
If the trash transition was taken due to the occurrence of an
exception, store the exception here
- m_executedEvents - Variable in class ca.uqac.lif.ecp.online.TestDriver
-
The number of events the driver has executed so far
- m_expression - Variable in class ca.uqac.lif.ecp.ltl.ParserBuilder
-
- m_false - Variable in class ca.uqac.lif.ecp.ltl.TruthConstant
-
The constant associated to the value true
- m_formula - Variable in class ca.uqac.lif.ecp.ltl.GreedyLtlGenerator
-
The LTL formula to generate against
- m_formula - Variable in class ca.uqac.lif.ecp.ltl.HologramFunction
-
The LTL formula on which this function operates
- m_function - Variable in class ca.uqac.lif.ecp.CayleyCoverageMetric
-
The triaging function used to classify traces
- m_function - Variable in class ca.uqac.lif.ecp.TestSuiteFilter
-
- m_generateHolograms - Variable in class ca.uqac.lif.ecp.ltl.LtlCayleyGraphRenderer
-
Whether to generate auxiliary DOT files containing the holograms
- m_graph - Variable in class ca.uqac.lif.ecp.CayleyCoverageMetric
-
The Cayley Graph from which the coverage will be computed
- m_graph - Variable in class ca.uqac.lif.ecp.CayleyGraphTraceGenerator
-
The Cayley graph used to generate the traces
- m_graph - Variable in class ca.uqac.lif.ecp.GraphPlotter
-
The Cayley graph to plot
- m_graph - Variable in class ca.uqac.lif.ecp.graphs.CayleyGraphSolver
-
The graph this solver will work on
- m_graph - Variable in class ca.uqac.lif.ecp.graphs.HypergraphEdgeCover
-
The hypergraph this solver will work on
- m_graph - Variable in class ca.uqac.lif.ecp.graphs.ShortestPaths
-
- m_graph - Variable in class ca.uqac.lif.ecp.graphs.TreeCollector
-
The Cayley graph from which to collect the results
- m_graph - Variable in class ca.uqac.lif.ecp.ltl.LtlCayleyGraphRenderer
-
The graph to render
- m_guard - Variable in class ca.uqac.lif.ecp.statechart.Transition
-
A Boolean expression
- m_hasher - Variable in class ca.uqac.lif.ecp.ltl.HologramFormatter
-
- m_heating - Variable in class examples.online.MethodCalls.Microwave
-
- m_hook - Variable in class ca.uqac.lif.ecp.online.TestDriver
-
The hook that the driver will call during the tests
- m_hypergraphSolver - Variable in class ca.uqac.lif.ecp.HypergraphTraceGenerator
-
Solver used for the hypergraph edge cover problem
- m_id - Variable in class ca.uqac.lif.ecp.graphs.Vertex
-
The ID of this vertex
- m_id - Variable in class ca.uqac.lif.ecp.statechart.State
-
A unique numerical identifier given to the state
- m_importantVertices - Variable in class ca.uqac.lif.ecp.graphs.SteinerTree
-
The set of vertices that must be included in the tree
- m_incoming - Variable in class ca.uqac.lif.ecp.petrinet.Place
-
- m_incoming - Variable in class ca.uqac.lif.ecp.petrinet.Transition
-
- m_inconclusive - Variable in class ca.uqac.lif.ecp.ltl.TruthConstant
-
The constant associated to the value inconclusive
- m_increment - Variable in class ca.uqac.lif.ecp.statechart.DecrementVariableBy
-
The value to give to the variable
- m_increment - Variable in class ca.uqac.lif.ecp.statechart.IncrementVariableBy
-
The value to give to the variable
- m_initialMarking - Variable in class ca.uqac.lif.ecp.petrinet.PetriNet
-
The list of places that contain a token in the initial marking
- m_initialState - Variable in class ca.uqac.lif.ecp.statechart.Statechart
-
The ID of the initial state.
- m_initialValues - Variable in class ca.uqac.lif.ecp.statechart.Statechart
-
The initial value of the state variables of this statechart
- m_instantiatedTrees - Variable in class ca.uqac.lif.ecp.ltl.BinaryTemporalOperator
-
- m_instantiatedTrees - Variable in class ca.uqac.lif.ecp.ltl.UnaryTemporalOperator
-
- m_label - Variable in class ca.uqac.lif.ecp.Edge
-
The label attached to this edge
- m_label - Variable in class ca.uqac.lif.ecp.petrinet.Place
-
- m_label - Variable in class ca.uqac.lif.ecp.petrinet.Transition
-
- m_labelCnt - Variable in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
A counter to give unique names to events
- m_lastCoverage - Variable in class ca.uqac.lif.ecp.GreedyTraceGenerator
-
- m_leftValue - Variable in class ca.uqac.lif.ecp.ltl.BinaryValueExpression
-
The value of the left-hand side expression
- m_marking - Variable in class ca.uqac.lif.ecp.petrinet.Place
-
- m_maxChildren - Variable in class ca.uqac.lif.ecp.ltl.RootChildDeletion
-
The maximum number of children that the root node can have
- m_maxDepth - Variable in class ca.uqac.lif.ecp.graphs.BreadthFirstSteinerTree
-
The max depth for the breadth first traversal
- m_maxIterations - Variable in class ca.uqac.lif.ecp.GreedyTraceGenerator
-
The maximum number of iterations of the algorithm before giving up
- m_maxIterations - Variable in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
The maximum number of iterations of the algorithm, in case it does not
succeed at achieving total coverage
- m_maxTraceLength - Variable in class ca.uqac.lif.ecp.ThresholdRandomTraceGenerator
-
The maximum length of the traces to generate
- m_maxTraces - Variable in class ca.uqac.lif.ecp.ThresholdRandomTraceGenerator
-
The maximum number of traces to generate
- m_maxValue - Variable in class ca.uqac.lif.ecp.statechart.IncrementVariableBy
-
The maximum value the variable is allowed to take.
- m_message - Variable in exception ca.uqac.lif.ecp.ltl.OperatorBuilder.BuildException
-
- m_metric - Variable in class ca.uqac.lif.ecp.GreedyTraceGenerator
-
The coverage metric used to evaluate the generated traces
- m_minValue - Variable in class ca.uqac.lif.ecp.statechart.DecrementVariableBy
-
The minimum value the variable is allowed to take.
- m_name - Variable in class ca.uqac.lif.ecp.statechart.Configuration
-
The name of this state node
- m_name - Variable in class ca.uqac.lif.ecp.statechart.State
-
A name given to the state
- m_name - Variable in class ca.uqac.lif.ecp.statechart.Statechart
-
The name given to this statechart
- m_node - Variable in class ca.uqac.lif.ecp.ltl.ParserBuilder.ParseNodeOperator
-
The parse node this operator carries
- m_numCandidates - Variable in class ca.uqac.lif.ecp.GreedyTraceGenerator
-
The number of candidate traces to generate at each pass
- m_numCandidates - Variable in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
The number of candidate tests to generate at each iteration
- m_numEvents - Variable in class ca.uqac.lif.ecp.ltl.Next
-
Whether we are seeing the first event
- m_numTraces - Variable in class ca.uqac.lif.ecp.BoundedRandomTraceGenerator
-
The number of traces to generate
- m_operand - Variable in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
The operand of this unary operator
- m_operands - Variable in class ca.uqac.lif.ecp.ltl.NaryOperator
-
- m_outEdges - Variable in class ca.uqac.lif.ecp.graphs.Vertex
-
The set of edges in this graph
- m_outgoing - Variable in class ca.uqac.lif.ecp.petrinet.Place
-
- m_outgoing - Variable in class ca.uqac.lif.ecp.petrinet.Transition
-
- m_parent - Variable in class ca.uqac.lif.ecp.graphs.ForestNode
-
The parent of this vertex, or null if this vertex is
a root of the spanning forest
- m_parent - Variable in class ca.uqac.lif.ecp.ltl.GraphvizHologramRenderer
-
The parent node of the current node
- m_parent - Variable in class ca.uqac.lif.ecp.statechart.NestedState
-
The statechart that contains this nested state
- m_parent - Variable in class ca.uqac.lif.ecp.statechart.Statechart
-
The parent statechart, if any
- m_parser - Variable in class ca.uqac.lif.ecp.ltl.ParserBuilder
-
- m_parts - Variable in class ca.uqac.lif.ecp.ltl.HtmlBeautifier
-
The stack that will contain the parts of the string
- m_path - Variable in class ca.uqac.lif.ecp.ltl.LtlCayleyGraphRenderer
-
The path where to write the DOT files for each hologram
- m_pauseInterval - Variable in class ca.uqac.lif.ecp.online.PrintHook
-
The interval (in seconds) that the hook will wait before
the next event is printed
- m_places - Variable in class ca.uqac.lif.ecp.petrinet.PetriNet
-
The list of places in the Petri net
- m_possibleEvents - Variable in class ca.uqac.lif.ecp.ltl.AtomicLtlCayleyGraphFactory
-
The set of atomic events that will be used as the alphabet
- m_possibleEvents - Variable in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartCayleyGraphFactory
-
The set of atomic events that will be used as the alphabet
- m_random - Variable in class ca.uqac.lif.ecp.GreedyTraceGenerator
-
The random number generator used to generate the traces
- m_random - Variable in class ca.uqac.lif.ecp.RandomTraceGenerator
-
A random number generator used to generate the random events
- m_random - Variable in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
A random number generator used to generate the random events
- m_rank - Variable in class ca.uqac.lif.ecp.graphs.ForestNode
-
A value of "rank"
- m_rightValue - Variable in class ca.uqac.lif.ecp.ltl.BinaryValueExpression
-
The value of the right-hand side expression
- m_selectedPaths - Variable in class ca.uqac.lif.ecp.graphs.BreadthFirstSteinerTree.SteinerVisitor
-
- m_size - Variable in class ca.uqac.lif.ecp.atomic.ShallowHistoryFunction.FixedSizeWindow
-
The size of the window
- m_size - Variable in class ca.uqac.lif.ecp.statechart.ShallowHistoryFunction.FixedSizeWindow
-
The size of the window
- m_solver - Variable in class ca.uqac.lif.ecp.SpanningTreeTraceGenerator
-
The solver that will resolve the underlying spanning tree problem
- m_source - Variable in class ca.uqac.lif.ecp.Edge
-
The ID of the vertex in the graph that is the destination of this edge
- m_statechart - Variable in class ca.uqac.lif.ecp.statechart.GreedyAtomicStatechartGenerator
-
The statechart used
- m_statechart - Variable in class ca.uqac.lif.ecp.statechart.InState
-
The statechart whose state is asserted
- m_statechart - Variable in class ca.uqac.lif.ecp.statechart.StatechartFunction
-
The statechart this function uses as its reference
- m_statechart - Variable in class ca.uqac.lif.ecp.statechart.StatechartVariableAtom
-
The statechart in which to fetch the value
- m_stateName - Variable in class ca.uqac.lif.ecp.statechart.InState
-
The name of the state to be queried for
- m_strength - Variable in class ca.uqac.lif.ecp.TWayScoringTraceGenerator
-
The strength of the test suite (i.e.
- m_symbol - Variable in class ca.uqac.lif.ecp.ltl.NaryOperator
-
- m_symbol - Variable in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
The symbol to display for this operator
- m_target - Variable in class ca.uqac.lif.ecp.statechart.Transition
-
The target of this transition
- m_testSuite - Variable in class ca.uqac.lif.ecp.online.UnidirectionalTestDriver
-
The test suite that the driver will replay.
- m_title - Variable in class ca.uqac.lif.ecp.atomic.Automaton
-
A title to give to the automaton
- m_title - Variable in class ca.uqac.lif.ecp.CayleyCoverageRadius.RadiusMap
-
A title to give to this plot
- m_title - Variable in class ca.uqac.lif.ecp.ltl.LtlCayleyGraphRenderer
-
A title to give to the rendered graph
- m_traceIterator - Variable in class ca.uqac.lif.ecp.online.UnidirectionalTestDriver
-
An iterator over the traces of the test suite
- m_traceLength - Variable in class ca.uqac.lif.ecp.BoundedRandomTraceGenerator
-
The length of the traces to generate
- m_transformation - Variable in class ca.uqac.lif.ecp.ltl.HologramFunction
-
The transformation to apply to the hologram
- m_transitions - Variable in class ca.uqac.lif.ecp.petrinet.PetriNet
-
The list of transitions in the Petri net
- m_trashState - Variable in class ca.uqac.lif.ecp.statechart.Statechart
-
A special sink state to make sure the transition relation is total
- m_trashTransition - Variable in class ca.uqac.lif.ecp.statechart.Statechart
-
An instance of the trash transition
- m_tree - Variable in class ca.uqac.lif.ecp.SpanningTreeTraceGenerator
-
The spanning tree obtained from this Cayley graph
- m_true - Variable in class ca.uqac.lif.ecp.ltl.TruthConstant
-
The constant associated to the value true
- m_value - Variable in class ca.uqac.lif.ecp.graphs.ForestNode
-
The actual Cayley Graph vertex this instance is wrapping
- m_value - Variable in class ca.uqac.lif.ecp.ltl.Constant
-
The value
- m_value - Variable in class ca.uqac.lif.ecp.ltl.Operator
-
The current value that this tree holds
- m_value - Variable in class ca.uqac.lif.ecp.ltl.TruthConstant
-
The truth value
- m_value - Variable in class ca.uqac.lif.ecp.statechart.SetVariableTo
-
The value to give to the variable
- m_variableName - Variable in class ca.uqac.lif.ecp.statechart.StatechartVariableAtom
-
The name of the statechart variable
- m_variableName - Variable in class ca.uqac.lif.ecp.statechart.VariableAssignment
-
The name of the variable to modify
- m_variables - Variable in class ca.uqac.lif.ecp.statechart.Configuration
-
The variable assignments of the statechart
- m_variables - Variable in class ca.uqac.lif.ecp.statechart.Statechart
-
The state variables of this statechart
- m_vertexId - Variable in class ca.uqac.lif.ecp.graphs.Hypergraph
-
A counter for vertex IDs for this graph
- m_vertices - Variable in class ca.uqac.lif.ecp.graphs.Hypergraph
-
The set of vertices of the graph
- m_visited - Variable in class ca.uqac.lif.ecp.atomic.GreedyAutomatonGenerator
-
The set of visited edges
- m_visitOnce - Variable in class ca.uqac.lif.ecp.graphs.BreadthFirstVisitor
-
If set to true, a call to visit() will be
done only once per node
- m_weight - Variable in class ca.uqac.lif.ecp.Edge
-
A weight associated to the edge.
- m_weighted - Variable in class ca.uqac.lif.ecp.CayleyCoverageRadius.RadiusMap
-
- m_window - Variable in class ca.uqac.lif.ecp.atomic.ShallowHistoryFunction
-
- m_window - Variable in class ca.uqac.lif.ecp.statechart.ShallowHistoryFunction
-
- main(String[]) - Static method in class ca.uqac.lif.ecp.cli.CliMain
-
The main method when Seal Test is run from the command line
- main(String[]) - Static method in class examples.automaton.AutomatonExample
-
- main(String[]) - Static method in class examples.coverage.CoverageRadius
-
- main(String[]) - Static method in class examples.coverage.StateCategoryCoverage
-
- main(String[]) - Static method in class examples.coverage.TransitionCategoryCoverage
-
- main(String[]) - Static method in class examples.DrawCayley
-
- main(String[]) - Static method in class examples.holograms.DrawHologram
-
- main(String[]) - Static method in class examples.online.MethodCalls
-
- main(String[]) - Static method in class examples.online.SimplePrint
-
- makeTotal() - Method in class ca.uqac.lif.ecp.atomic.Automaton
-
Modifies the transition function of the automaton by adding a sink state
and putting an "else" transition from every state to this sink.
- matches(T, Statechart<T>) - Method in class ca.uqac.lif.ecp.statechart.Transition
-
Determines if this transition applies (i.e.
- MathList<T> - Class in ca.uqac.lif.structures
-
List implementation that behaves like a real list, i.e.
- MathList() - Constructor for class ca.uqac.lif.structures.MathList
-
- MathMap<K,V> - Class in ca.uqac.lif.structures
-
Implementation of a map with a few extra methods.
- MathMap() - Constructor for class ca.uqac.lif.structures.MathMap
-
- MathSet<T> - Class in ca.uqac.lif.structures
-
Set implementation that behaves like a real set, i.e.
- MathSet() - Constructor for class ca.uqac.lif.structures.MathSet
-
Creates an empty set
- MathSet(MathSet<T>) - Constructor for class ca.uqac.lif.structures.MathSet
-
Creates a set by copying the contents of another set
- MathSet(Object...) - Constructor for class ca.uqac.lif.structures.MathSet
-
- Matrix - Class in ca.uqac.lif.structures
-
Simple implementation of a matrix and its multiplication operation
- Matrix() - Constructor for class ca.uqac.lif.structures.Matrix
-
- MAX_ITERATIONS - Static variable in class ca.uqac.lif.ecp.CayleyGraphFactory
-
The maximum number of iterations the search algorithm is allowed to
do
- MethodCalls - Class in examples.online
-
Create a test hook that converts events into method calls on an object.
- MethodCalls() - Constructor for class examples.online.MethodCalls
-
- MethodCalls.Microwave - Class in examples.online
-
Simple model of a microwave oven
- MethodCalls.MicrowaveHook - Class in examples.online
-
This hook receives event names by the test driver, and converts
each of them into a method call on an instance of the Microwave
class
- Microwave() - Constructor for class examples.online.MethodCalls.Microwave
-
- MicrowaveHook() - Constructor for class examples.online.MethodCalls.MicrowaveHook
-
- moveUp(Edge<T>, Map<Integer, Edge<T>>, Map<Integer, Vertex<T>>) - Method in class ca.uqac.lif.ecp.graphs.DijkstraSteinerTree
-
- multiply(float[][], float[]) - Static method in class ca.uqac.lif.structures.Matrix
-
Computes the product of a matrix by a vector.
- parse(Scanner, String) - Method in interface ca.uqac.lif.ecp.atomic.AutomatonParser
-
Parses an automaton.
- parse(String, String) - Method in interface ca.uqac.lif.ecp.atomic.AutomatonParser
-
Parses an automaton.
- parse(Scanner, String) - Method in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
- parse(String, String) - Method in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
- parse(String[]) - Method in class ca.uqac.lif.ecp.cli.CliParser
-
Parses an array of command-line arguments and returns the result
- parse(String) - Static method in class ca.uqac.lif.ecp.graphs.Hypergraph
-
Creates a hypergraph from a character string.
- parse(Scanner) - Static method in class ca.uqac.lif.ecp.graphs.Hypergraph
-
Creates a hypergraph from a stream of characters.
- parseAtom(ParseNode, Stack<Operator<AtomicEvent>>) - Method in class ca.uqac.lif.ecp.ltl.AtomicParserBuilder
-
- parseAtom(ParseNode, Stack<Operator<T>>) - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder
-
Creates an atom from the parse stack and the current parse node
- parseDot(String) - Static method in class ca.uqac.lif.ecp.atomic.Automaton
-
Creates an automaton from a dot string
- parseDot(Scanner) - Static method in class ca.uqac.lif.ecp.atomic.Automaton
-
Creates an automaton from a dot string
- parseDot(Scanner, String) - Static method in class ca.uqac.lif.ecp.atomic.Automaton
-
Creates an automaton from a dot string
- parseFromString(Scanner) - Static method in class ca.uqac.lif.ecp.petrinet.AtomicPetriNetBuilder
-
Defines the Petri net from a structured string.
- parseFromString(Scanner) - Static method in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartBuilder
-
Parses a statechart from a source of text
- ParseNodeOperator(ParseNode) - Constructor for class ca.uqac.lif.ecp.ltl.ParserBuilder.ParseNodeOperator
-
- ParserBuilder<T extends Event> - Class in ca.uqac.lif.ecp.ltl
-
Builds an LTL formula from an expression parsed from a grammar
- ParserBuilder() - Constructor for class ca.uqac.lif.ecp.ltl.ParserBuilder
-
- ParserBuilder(String) - Constructor for class ca.uqac.lif.ecp.ltl.ParserBuilder
-
- ParserBuilder(Scanner) - Constructor for class ca.uqac.lif.ecp.ltl.ParserBuilder
-
- ParserBuilder.LtlVisitor - Class in ca.uqac.lif.ecp.ltl
-
Visits a parse tree and builds an LTL expression
- ParserBuilder.ParseNodeOperator<U extends Event> - Class in ca.uqac.lif.ecp.ltl
-
Operator simply meant to contain a parse node
- parseStatechart(AtomicStatechart, Scanner) - Static method in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartBuilder
-
Parses a statechart from a source of text
- parseStates(Statechart<AtomicEvent>, Scanner) - Static method in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartBuilder
-
Parses the states of a statechart
- parseTarget(String) - Static method in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartBuilder
-
Creates a target configuration from a string of text
- parseTransitions(Statechart<AtomicEvent>, Scanner) - Static method in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartBuilder
-
Parses the transitions of a statechart
- PetriNet<T extends Event> - Class in ca.uqac.lif.ecp.petrinet
-
Generates a trace of events based on the definition
of a Petri net.
- PetriNet() - Constructor for class ca.uqac.lif.ecp.petrinet.PetriNet
-
Creates an empty Petri Net
- pickLength() - Method in class ca.uqac.lif.ecp.atomic.GreedyAutomatonGenerator
-
- pickLength() - Method in class ca.uqac.lif.ecp.GreedyTraceGenerator
-
Chooses a length for a trace to be generated
- pickLength() - Method in class ca.uqac.lif.ecp.statechart.GreedyAtomicStatechartGenerator
-
- Place<T extends Event> - Class in ca.uqac.lif.ecp.petrinet
-
A place in a Petri net is a graph node that can contain zero or more
tokens.
- Place() - Constructor for class ca.uqac.lif.ecp.petrinet.Place
-
- Place(String) - Constructor for class ca.uqac.lif.ecp.petrinet.Place
-
- plotter() - Method in class ca.uqac.lif.ecp.atomic.AtomicCayleyGraph
-
- plotter() - Method in class ca.uqac.lif.ecp.CayleyGraph
-
Gets an instance of a plotter for this Cayley graph
- PolarityDeletion<T extends Event> - Class in ca.uqac.lif.ecp.ltl
-
Hologram transformation that deletes all the children of a node that
do not determine its truth value.
- PolarityDeletion() - Constructor for class ca.uqac.lif.ecp.ltl.PolarityDeletion
-
- pop() - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder.LtlVisitor
-
- PrefixCategoryClosure<T extends Event,U> - Class in ca.uqac.lif.ecp
-
From a Cayley graph built from a classification function κ,
creates a new Cayley graph representing the prefix closure
of ∫κ.
- PrefixCategoryClosure() - Constructor for class ca.uqac.lif.ecp.PrefixCategoryClosure
-
- prefixTo(int) - Method in class ca.uqac.lif.ecp.Trace
-
Returns the prefix of the trace up to a given position
- printEdge(Edge<T>, GraphPlotter.Format) - Method in class ca.uqac.lif.ecp.GraphPlotter
-
Prints the edge in Dot format
- printEdges(List<Edge<AtomicEvent>>, int, GraphPlotter.Format) - Method in class ca.uqac.lif.ecp.atomic.AtomicGraphPlotter
-
Prints the edges of the graph, by merging the label of all edges
with the same target state
- printEdges(Set<Edge<T>>, int, GraphPlotter.Format) - Method in class ca.uqac.lif.ecp.GraphPlotter
-
Prints the edges of the graph, by merging the label of all edges
with the same target state
- printHelp(String, PrintStream) - Method in class ca.uqac.lif.ecp.cli.CliParser
-
Prints the usage of each command line switch
- PrintHook<T extends Event> - Class in ca.uqac.lif.ecp.online
-
Test hook that simply prints the events it receives.
- PrintHook() - Constructor for class ca.uqac.lif.ecp.online.PrintHook
-
Creates a new print hook that will print its events to the standard
output
- PrintHook(PrintStream) - Constructor for class ca.uqac.lif.ecp.online.PrintHook
-
Creates a new print hook that will print its events to a
print stream
- printVertex(Vertex<T>, GraphPlotter.Format) - Method in class ca.uqac.lif.ecp.GraphPlotter
-
Prints the vertex in Dot format
- processTransition(Edge<AtomicEvent>) - Method in class ca.uqac.lif.ecp.atomic.ActionShallowHistory
-
- processTransition(Edge<AtomicEvent>) - Method in class ca.uqac.lif.ecp.atomic.AutomatonFunction
-
- processTransition(Edge<AtomicEvent>) - Method in class ca.uqac.lif.ecp.atomic.StateShallowHistory
-
- processTransition(Edge<AtomicEvent>) - Method in class ca.uqac.lif.ecp.atomic.TransitionShallowHistory
-
- processTransition(Configuration<T>, Transition<T>) - Method in class ca.uqac.lif.ecp.statechart.ConfigurationShallowHistory
-
- processTransition(Configuration<T>, Transition<T>) - Method in class ca.uqac.lif.ecp.statechart.StatechartFunction
-
- processTransition(Configuration<T>, Transition<T>) - Method in class ca.uqac.lif.ecp.statechart.StateShallowHistory
-
- put() - Method in class ca.uqac.lif.ecp.petrinet.Place
-
- putAllStateVariables(Statechart<T>) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
- s_atomPattern - Static variable in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
The regex pattern matching the proposition tag
- s_counterLock - Static variable in class ca.uqac.lif.ecp.statechart.State
-
A lock for accessing the ID counter
- s_fromPattern - Static variable in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
The regex pattern matching the source state tag
- s_idCounter - Static variable in class ca.uqac.lif.ecp.PrefixCategoryClosure
-
- s_idCounter - Static variable in class ca.uqac.lif.ecp.statechart.State
-
A counter for giving IDs to states
- s_idPattern - Static variable in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
The regex pattern matching the initial state ID tag
- s_invalidEvent - Static variable in class ca.uqac.lif.ecp.atomic.ActionShallowHistory
-
An event designating an invalid action
- s_invalidLabel - Static variable in class ca.uqac.lif.ecp.atomic.AutomatonFunction
-
A label given to a state of the automaton to indicate it is
the sink state for invalid transitions
- s_isWindows - Static variable in class ca.uqac.lif.ecp.ltl.HtmlBeautifier
-
Static variable to check if we are running in Windows.
- s_labelPattern - Static variable in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
The regex pattern matching the label tag (first variant)
- s_maxDepth - Static variable in class ca.uqac.lif.ecp.graphs.BreadthFirstVisitor
-
The maximum number of traversal steps.
- s_maxDepth - Static variable in class ca.uqac.lif.ecp.graphs.TreeCollector
-
Maximum recursion depth
- s_maxDepth - Static variable in class ca.uqac.lif.ecp.PrefixCategoryClosure
-
The maximum recursion depth
- s_maxIterations - Static variable in class ca.uqac.lif.ecp.graphs.DijkstraShortestPaths
-
The maximum number of iterations allowed for the algorithm
- s_maxIterations - Static variable in class ca.uqac.lif.ecp.graphs.DijkstraSteinerTree
-
The maximum number of iterations allowed for the algorithm
- s_maxRecursionSteps - Static variable in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
The maximum number of recursion steps in a graph algorithm
- s_readPattern - Static variable in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
The regex pattern matching the label tag (second variant)
- s_statePattern - Static variable in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
The regex pattern matching the state ID attribute
- s_toPattern - Static variable in class ca.uqac.lif.ecp.atomic.GffAutomatonParser
-
The regex pattern matching the source state tag
- s_transPattern - Static variable in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartBuilder
-
The pattern to parse transitions
- s_versionString - Static variable in class ca.uqac.lif.ecp.cli.CliMain
-
The version number of the library
- scanString(Scanner) - Static method in class ca.uqac.lif.ecp.ltl.ParserBuilder
-
Utility method to create a string from a scanner
- setAction(Action<T>) - Method in class ca.uqac.lif.ecp.statechart.Transition
-
Associates an action to this transition
- setAlphabet(Alphabet<AtomicEvent>) - Method in class ca.uqac.lif.ecp.atomic.Automaton
-
Sets the alphabet for this automaton
- setCaption(String) - Method in class ca.uqac.lif.ecp.ltl.GraphvizHologramRenderer
-
Sets a caption to the graph
- setCumulative(boolean) - Method in class ca.uqac.lif.ecp.CayleyCardinalityCoverage
-
Sets whether the cardinality considers all traces up to a given
length (true), or exactly of given length (false)
- setCumulative(boolean) - Method in class ca.uqac.lif.ecp.CayleyDiameterCoverage
-
Sets whether the cardinality considers all traces up to a given
length (true), or exactly of given length (false)
- setDepth(int) - Method in class ca.uqac.lif.ecp.graphs.BreadthFirstSteinerTree
-
Sets the maximum depth for the breadth first traversal
- setDriver(TestDriver<T, Object>) - Method in class ca.uqac.lif.ecp.online.PrintHook
-
- setDriver(TestDriver<T, C>) - Method in interface ca.uqac.lif.ecp.online.TestHook
-
- setDriver(TestDriver<AtomicEvent, Object>) - Method in class examples.online.MethodCalls.MicrowaveHook
-
- setFood(boolean) - Method in class examples.online.MethodCalls.Microwave
-
- setGraph(CayleyGraph<T, U>) - Method in class ca.uqac.lif.ecp.CayleyGraphTraceGenerator
-
Sets the graph used by this generator
- setGraph(CayleyGraph<T, U>) - Method in class ca.uqac.lif.ecp.graphs.CayleyGraphSolver
-
Sets the graph this solver will work on
- setGuard(Operator<T>) - Method in class ca.uqac.lif.ecp.statechart.Transition
-
Associates a guard to this transition
- setHook(TestHook<T, C>) - Method in class ca.uqac.lif.ecp.online.TestDriver
-
Sets the hook that the driver will call during the tests
- setInitialMarking(String, int) - Method in class ca.uqac.lif.ecp.petrinet.PetriNet
-
Adds tokens to the initial marking of this Petri net.
- setInitialVertexId(int) - Method in class ca.uqac.lif.ecp.graphs.LabelledGraph
-
Sets the ID of the initial vertex
- setLabelFormatter(CayleyGraph.LabelFormatter<U>) - Method in class ca.uqac.lif.ecp.CayleyGraph
-
- setLabelling(CayleyVertexLabelling<U>) - Method in class ca.uqac.lif.ecp.CayleyGraph
-
Sets the labelling associated to the vertices of the graph
- setMarking(int) - Method in class ca.uqac.lif.ecp.petrinet.Place
-
- setMaxIterations(int) - Method in class ca.uqac.lif.ecp.GreedyTraceGenerator
-
Sets the maximum number of iterations of the algorithm before giving up
- setParent(ForestNode<T>) - Method in class ca.uqac.lif.ecp.graphs.ForestNode
-
Sets the parent of this node
- setParent(Statechart<T>) - Method in class ca.uqac.lif.ecp.statechart.NestedState
-
Sets the parent of this nested state.
- setParent(Statechart<T>) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Sets the enclosing instance of this statechart
- setPauseInterval(float) - Method in class ca.uqac.lif.ecp.online.PrintHook
-
Sets the interval that the hook will wait before
the next event is printed
- setRank(int) - Method in class ca.uqac.lif.ecp.graphs.ForestNode
-
Sets the rank of this node
- setTarget(Configuration<AtomicEvent>) - Method in class ca.uqac.lif.ecp.statechart.atomic.AtomicTransition
-
Sets the target of this transition
- setTestSuite(Collection<Trace<T>>) - Method in class ca.uqac.lif.ecp.online.UnidirectionalTestDriver
-
Sets the test suite that the driver will replay
- setTitle(String) - Method in class ca.uqac.lif.ecp.atomic.Automaton
-
Gives a title to the automaton
- setTitle(String) - Method in class ca.uqac.lif.ecp.ltl.LtlCayleyGraphRenderer
-
Sets the graph's title
- setTransitions(Map<Integer, Set<Transition<T>>>) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
- setupParser(BnfParser) - Method in class ca.uqac.lif.ecp.ltl.AtomicParserBuilder
-
- setupParser(BnfParser) - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder
-
Sets up the parser for this specific operator builder.
- setVariable(String, Object) - Method in class ca.uqac.lif.ecp.statechart.Statechart
-
Sets the value of a state variable.
- setVariables(Map<String, Object>) - Method in class ca.uqac.lif.ecp.statechart.Configuration
-
Sets the variable assignments of this configuration
- SetVariableTo<T extends Event,U> - Class in ca.uqac.lif.ecp.statechart
-
Action that sets a state variable to a hard value
- SetVariableTo(String, U) - Constructor for class ca.uqac.lif.ecp.statechart.SetVariableTo
-
- setWeight(float) - Method in class ca.uqac.lif.ecp.Edge
-
Sets the edge's weight
- setWeighted(boolean) - Method in class ca.uqac.lif.ecp.CayleyCoverageRadius
-
Determines whether the coverage is weighted by the cardinality of the
equivalence classes
- ShallowHistoryFunction<T> - Class in ca.uqac.lif.ecp.atomic
-
- ShallowHistoryFunction(Automaton, int) - Constructor for class ca.uqac.lif.ecp.atomic.ShallowHistoryFunction
-
- ShallowHistoryFunction<T extends Event,U> - Class in ca.uqac.lif.ecp.statechart
-
- ShallowHistoryFunction(Statechart<T>, int) - Constructor for class ca.uqac.lif.ecp.statechart.ShallowHistoryFunction
-
- ShallowHistoryFunction.FixedSizeWindow - Class in ca.uqac.lif.ecp.atomic
-
Sliding window of elements of type T
- ShallowHistoryFunction.FixedSizeWindow - Class in ca.uqac.lif.ecp.statechart
-
Sliding window of elements of type U
- ShortestPaths<T extends Event> - Class in ca.uqac.lif.ecp.graphs
-
- ShortestPaths(LabelledGraph<T>) - Constructor for class ca.uqac.lif.ecp.graphs.ShortestPaths
-
- SimplePrint - Class in examples.online
-
Use a simple test hook to execute a set of test sequences.
- SimplePrint() - Constructor for class examples.online.SimplePrint
-
- size(boolean) - Method in class ca.uqac.lif.ecp.ltl.EventLeaf
-
- size(boolean) - Method in class ca.uqac.lif.ecp.ltl.GroundTerm
-
- size(boolean) - Method in class ca.uqac.lif.ecp.ltl.NaryOperator
-
- size() - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Gets the size of this formula
- size(boolean) - Method in class ca.uqac.lif.ecp.ltl.Operator
-
Gets the size of this formula
- size(boolean) - Method in class ca.uqac.lif.ecp.ltl.ParserBuilder.ParseNodeOperator
-
- size(boolean) - Method in class ca.uqac.lif.ecp.ltl.TruthConstant
-
- size(boolean) - Method in class ca.uqac.lif.ecp.ltl.UnaryOperator
-
- size(boolean) - Method in class ca.uqac.lif.ecp.ltl.UnaryTemporalOperator
-
- size(boolean) - Method in class ca.uqac.lif.ecp.statechart.InState
-
- SpanningTree<T extends Event,U> - Class in ca.uqac.lif.ecp.graphs
-
Solves the spanning tree problem.
- SpanningTree(CayleyGraph<T, U>) - Constructor for class ca.uqac.lif.ecp.graphs.SpanningTree
-
Instantiates a new solver
- SpanningTreeTraceGenerator<T extends Event,U> - Class in ca.uqac.lif.ecp
-
Trace generator that uses a spanning tree of the Cayley graph.
- SpanningTreeTraceGenerator(CayleyGraph<T, U>) - Constructor for class ca.uqac.lif.ecp.SpanningTreeTraceGenerator
-
Creates a new spanning tree generator
- SpanningTreeTraceGenerator(CayleyGraph<T, U>, SpanningTree<T, U>) - Constructor for class ca.uqac.lif.ecp.SpanningTreeTraceGenerator
-
Creates a new spanning tree generator
- start() - Method in class ca.uqac.lif.ecp.graphs.BreadthFirstSteinerTree.SteinerVisitor
-
- start(LabelledGraph<T>) - Method in class ca.uqac.lif.ecp.graphs.BreadthFirstVisitor
-
- start(LabelledGraph<T>, int, int) - Method in class ca.uqac.lif.ecp.graphs.BreadthFirstVisitor
-
- start() - Method in class examples.online.MethodCalls.Microwave
-
- state - Variable in class ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartRenderer.ChartStatePair
-
- State<T extends Event> - Class in ca.uqac.lif.ecp.statechart
-
An atomic state in a statechart.
- State(String) - Constructor for class ca.uqac.lif.ecp.statechart.State
-
Creates a new state with given name
- State(String, int) - Constructor for class ca.uqac.lif.ecp.statechart.State
-
- StateCategoryCoverage - Class in examples.coverage
-
Computes category coverage from a test suite.
- StateCategoryCoverage() - Constructor for class examples.coverage.StateCategoryCoverage
-
- Statechart<T extends Event> - Class in ca.uqac.lif.ecp.statechart
-
Representation of a UML statechart.
- Statechart(String) - Constructor for class ca.uqac.lif.ecp.statechart.Statechart
-
Creates a new empty statechart
- Statechart() - Constructor for class ca.uqac.lif.ecp.statechart.Statechart
-
Creates a new anonymous statechart
- StatechartFunction<T extends Event,U> - Class in ca.uqac.lif.ecp.statechart
-
Triaging function based on a UML statechart
- StatechartFunction(Statechart<T>) - Constructor for class ca.uqac.lif.ecp.statechart.StatechartFunction
-
Creates a new triaging function from an automaton
- StatechartVariableAtom<T extends Event,U> - Class in ca.uqac.lif.ecp.statechart
-
Placeholder in an expression that refers to the value of a state variable
of some statechart.
- StatechartVariableAtom(String, Statechart<T>) - Constructor for class ca.uqac.lif.ecp.statechart.StatechartVariableAtom
-
Creates a new statechart variable atom
- StateShallowHistory - Class in ca.uqac.lif.ecp.atomic
-
- StateShallowHistory(Automaton, int) - Constructor for class ca.uqac.lif.ecp.atomic.StateShallowHistory
-
- StateShallowHistory(Automaton) - Constructor for class ca.uqac.lif.ecp.atomic.StateShallowHistory
-
- StateShallowHistory<T extends Event> - Class in ca.uqac.lif.ecp.statechart
-
Triaging function that associates a trace to the list of states
in the statechart that were the destination of the
last n transitions that fired.
- StateShallowHistory(Statechart<T>, int) - Constructor for class ca.uqac.lif.ecp.statechart.StateShallowHistory
-
- StateShallowHistory(Statechart<T>) - Constructor for class ca.uqac.lif.ecp.statechart.StateShallowHistory
-
- SteinerTree<T extends Event,U> - Class in ca.uqac.lif.ecp.graphs
-
Solves the directed Steiner tree problem.
- SteinerTree(CayleyGraph<T, U>, MathSet<Integer>) - Constructor for class ca.uqac.lif.ecp.graphs.SteinerTree
-
Creates a new solver
- stop() - Method in class ca.uqac.lif.ecp.online.TestDriver
-
Tells the driver to stop testing
- stop() - Method in class ca.uqac.lif.ecp.online.UnidirectionalTestDriver
-
- stop() - Method in class examples.online.MethodCalls.Microwave
-
- suffixFrom(int) - Method in class ca.uqac.lif.ecp.Trace
-
Returns the suffix of the trace starting from a given position