- AbsoluteValue - Class in ca.uqac.lif.petitpoucet.function.number
-
Calculates the absolute value of a number.
- AbsoluteValue() - Constructor for class ca.uqac.lif.petitpoucet.function.number.AbsoluteValue
-
Creates a new instance of the function.
- add(Part) - Method in class ca.uqac.lif.petitpoucet.ComposedPart
-
Adds a new designator to the composition
- addChild(Node) - Method in class ca.uqac.lif.dag.LabelledNode
-
Connects the first output pin of the current node to the first input pin
of another node.
- Addition - Class in ca.uqac.lif.petitpoucet.function.number
-
Adds all arguments of the input.
- Addition(int) - Constructor for class ca.uqac.lif.petitpoucet.function.number.Addition
-
Creates a new instance of the function.
- addNodes(Collection<? extends Node>) - Method in class ca.uqac.lif.dag.NestedNode
-
Adds nodes to the internal nodes of this nested node.
- addNodes(Node...) - Method in class ca.uqac.lif.dag.NestedNode
-
Adds nodes to the internal nodes of this nested node.
- addToInput(int, Pin<? extends Node>) - Method in interface ca.uqac.lif.dag.Connectable
-
Adds a node's output pin to the set of connections of this node's
input pin.
- addToInput(int, Pin<? extends Node>) - Method in class ca.uqac.lif.dag.Node
-
- addToOutput(int, Pin<? extends Node>) - Method in interface ca.uqac.lif.dag.Connectable
-
Adds a node's input pin to the set of connections of this node's
output pin.
- addToOutput(int, Pin<? extends Node>) - Method in class ca.uqac.lif.dag.Node
-
- all - Static variable in interface ca.uqac.lif.petitpoucet.Part
-
An instance of the "identity" designator
- AllNumbers() - Constructor for class examples.circuits.Triangle.AllNumbers
-
- AllPositive - Class in examples.circuits
-
From a vector of numbers, evaluates if the sum of any two successive
elements is positive.
- AllPositive() - Constructor for class examples.circuits.AllPositive
-
- AllPositive() - Constructor for class examples.circuits.Triangle.AllPositive
-
- And - Class in ca.uqac.lif.petitpoucet.function.booleans
-
Function implementing logical conjunction.
- And(int, boolean) - Constructor for class ca.uqac.lif.petitpoucet.function.booleans.And
-
Creates a new instance of the "and" connective.
- And(int) - Constructor for class ca.uqac.lif.petitpoucet.function.booleans.And
-
Creates a new instance of the "and" connective.
- AndNode - Class in ca.uqac.lif.petitpoucet
-
Node representing a conjunction of two lineage graphs.
- appendExplanation(LabelledNode, int, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.vector.Filter
-
Appends to a node the explanation for the i-th element of the output.
- appliesTo(Object) - Method in class ca.uqac.lif.petitpoucet.ComposedPart
-
- appliesTo(Object) - Method in class ca.uqac.lif.petitpoucet.function.NthInput
-
- appliesTo(Object) - Method in class ca.uqac.lif.petitpoucet.function.NthOutput
-
- appliesTo(Object) - Method in class ca.uqac.lif.petitpoucet.function.strings.Range
-
- appliesTo(Object) - Method in class ca.uqac.lif.petitpoucet.function.vector.NthElement
-
- appliesTo(Object) - Method in class ca.uqac.lif.petitpoucet.Part.All
-
- appliesTo(Object) - Method in interface ca.uqac.lif.petitpoucet.Part
-
Determines if this designator applies (i.e.
- appliesTo(Object) - Method in class ca.uqac.lif.petitpoucet.Part.Nothing
-
- appliesTo(Object) - Method in class ca.uqac.lif.petitpoucet.Part.Unknown
-
- ArithmeticCircuit1 - Class in examples.number
-
Evaluates a circuit corresponding to the function (x+y)×z.
- ArithmeticCircuit1() - Constructor for class examples.number.ArithmeticCircuit1
-
- ArithmeticCircuit2 - Class in examples.number
-
Evaluates a circuit corresponding to the function (x+y)×z.
- ArithmeticCircuit2() - Constructor for class examples.number.ArithmeticCircuit2
-
- ArithmeticCircuit3 - Class in examples.number
-
Evaluates a circuit corresponding to the function (x+y)×z.
- ArithmeticCircuit3() - Constructor for class examples.number.ArithmeticCircuit3
-
- associateInput(int, Pin<? extends Node>) - Method in class ca.uqac.lif.dag.NestedNode
-
Associates an input pin of the nested node to an input pin of one of its
internal nodes.
- associateOutput(int, Pin<? extends Node>) - Method in class ca.uqac.lif.dag.NestedNode
-
Associates an input pin of the nested node to an output pin of one of its
internal nodes.
- AtomicFunction - Class in ca.uqac.lif.petitpoucet.function
-
A self-contained computation unit that produces an array of output values
from an array of input values.
- AtomicFunction(int, int) - Constructor for class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
Creates a new atomic function.
- AtomicFunction.AtomicFunctionInputPin - Class in ca.uqac.lif.petitpoucet.function
-
- AtomicFunction.AtomicFunctionOutputPin - Class in ca.uqac.lif.petitpoucet.function
-
- AtomicFunctionInputPin(int) - Constructor for class ca.uqac.lif.petitpoucet.function.AtomicFunction.AtomicFunctionInputPin
-
Creates a new input pin.
- AtomicFunctionOutputPin(int) - Constructor for class ca.uqac.lif.petitpoucet.function.AtomicFunction.AtomicFunctionOutputPin
-
Creates a new output pin.
- ca.uqac.lif.dag - package ca.uqac.lif.dag
-
A package for manipulating directed acyclic graphs (DAGs).
- ca.uqac.lif.petitpoucet - package ca.uqac.lif.petitpoucet
-
Package defining the core classes and interfaces for lineage tracking.
- ca.uqac.lif.petitpoucet.function - package ca.uqac.lif.petitpoucet.function
-
Implementation of Petit Poucet lineage tracking capabilities for function
circuits.
- ca.uqac.lif.petitpoucet.function.booleans - package ca.uqac.lif.petitpoucet.function.booleans
-
Functions related to Boolean values and connectives.
- ca.uqac.lif.petitpoucet.function.ltl - package ca.uqac.lif.petitpoucet.function.ltl
-
Operators of Linear Temporal Logic (LTL) applied to vectors of Boolean
values.
- ca.uqac.lif.petitpoucet.function.number - package ca.uqac.lif.petitpoucet.function.number
-
Artithmetic operators and other basic numerical functions.
- ca.uqac.lif.petitpoucet.function.reflect - package ca.uqac.lif.petitpoucet.function.reflect
-
Functions related to reflection in Java.
- ca.uqac.lif.petitpoucet.function.strings - package ca.uqac.lif.petitpoucet.function.strings
-
String manipulation functions.
- ca.uqac.lif.petitpoucet.function.vector - package ca.uqac.lif.petitpoucet.function.vector
-
Vector manipulation functions.
- ca.uqac.lif.util - package ca.uqac.lif.util
-
Package defining generic classes and interfaces used in this library.
- Circuit - Class in ca.uqac.lif.petitpoucet.function
-
An object encasing a graph of connected functions and acting externally as
a single function.
- Circuit(int, int, String) - Constructor for class ca.uqac.lif.petitpoucet.function.Circuit
-
Creates a new empty circuit instance.
- Circuit(int, int) - Constructor for class ca.uqac.lif.petitpoucet.function.Circuit
-
Creates a new empty circuit instance.
- Circuit.CircuitInputPin - Class in ca.uqac.lif.petitpoucet.function
-
- Circuit.CircuitOutputPin - Class in ca.uqac.lif.petitpoucet.function
-
- CircuitInputPin(int) - Constructor for class ca.uqac.lif.petitpoucet.function.Circuit.CircuitInputPin
-
Creates a new input pin.
- CircuitOutputPin(int) - Constructor for class ca.uqac.lif.petitpoucet.function.Circuit.CircuitOutputPin
-
Creates a new output pin.
- CommandRunner - Class in examples.util
-
Facilitates the execution of an external command and the collection of
its output
- CommandRunner(List<String>, String) - Constructor for class examples.util.CommandRunner
-
Creates a CommandRunner to run a command.
- CommandRunner(String[], String) - Constructor for class examples.util.CommandRunner
-
Creates a CommandRunner to run a command.
- CommandRunner(String[]) - Constructor for class examples.util.CommandRunner
-
Creates a CommandRunner to run a command.
- CommandRunner.StreamGobbler - Class in examples.util
-
Constantly reads an input stream and captures its content.
- compose(Part...) - Static method in class ca.uqac.lif.petitpoucet.ComposedPart
-
Creates a flat composed designator out of a list of designators.
- compose(List<Part>) - Static method in class ca.uqac.lif.petitpoucet.ComposedPart
-
Creates a flat composed designator out of a list of designators.
- ComposedPart - Class in ca.uqac.lif.petitpoucet
-
Part made of a composition of other "atomic" parts.
- ComposedPart(Part...) - Constructor for class ca.uqac.lif.petitpoucet.ComposedPart
-
Creates a new composed designator
- ComposedPart(List<Part>) - Constructor for class ca.uqac.lif.petitpoucet.ComposedPart
-
Creates a new composed designator
- ConditionSum - Class in examples.circuits
-
Extracts a parameter from a list of CSV text lines, and checks that the sum
of three successive values is always positive.
- ConditionSum() - Constructor for class examples.circuits.ConditionSum
-
- connect(Node, int, Node, int) - Static method in class ca.uqac.lif.dag.NodeConnector
-
Connects an output pin of a node to the input pin of another node.
- Connectable - Interface in ca.uqac.lif.dag
-
Interface implemented by any object having input and output pins.
- connectTo(Node, int, Node, int) - Method in class ca.uqac.lif.dag.NodeConnector
-
Connects an output pin of a node to the input pin of another node.
- Constant - Class in ca.uqac.lif.petitpoucet.function
-
Function that has no input and returns a constant value.
- Constant(Object) - Constructor for class ca.uqac.lif.petitpoucet.function.Constant
-
Creates a new constant.
- contains(Part) - Method in class ca.uqac.lif.petitpoucet.ComposedPart
-
Determines if a chain of designators contains a particular designator.
- Contextualizable - Interface in ca.uqac.lif.petitpoucet.function
-
Interface implemented by objects that can be assigned context elements, i.e.
- CopyCrawler(Node, NodeConnector, boolean) - Constructor for class ca.uqac.lif.dag.NestedNode.CopyCrawler
-
Creates a new crawler.
- copyInto(NestedNode) - Method in class ca.uqac.lif.dag.NestedNode.CopyCrawler
-
Copies the content of the cloned nodes into a nested node.
- copyInto(NestedNode, boolean) - Method in class ca.uqac.lif.dag.NestedNode
-
- copyInto(Node, boolean) - Method in class ca.uqac.lif.dag.Node
-
Copies the contents of the current node into another node instance.
- copyInto(AtomicFunction, boolean) - Method in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
Copies the contents of the current function into another function
instance.
- copyInto(BooleanConnective, boolean) - Method in class ca.uqac.lif.petitpoucet.function.booleans.BooleanConnective
-
- copyInto(IfThenElse, boolean) - Method in class ca.uqac.lif.petitpoucet.function.booleans.IfThenElse
-
- copyInto(Circuit, boolean) - Method in class ca.uqac.lif.petitpoucet.function.Circuit
-
- copyInto(FunctionPin<?>, boolean) - Method in class ca.uqac.lif.petitpoucet.function.FunctionPin
-
- copyInto(Next, boolean) - Method in class ca.uqac.lif.petitpoucet.function.ltl.Next
-
- copyInto(UnaryOperator, boolean) - Method in class ca.uqac.lif.petitpoucet.function.ltl.UnaryOperator
-
- copyInto(Split, boolean) - Method in class ca.uqac.lif.petitpoucet.function.strings.Split
-
- copyInto(Filter, boolean) - Method in class ca.uqac.lif.petitpoucet.function.vector.Filter
-
- copyInto(ParameterizedVectorFunction, boolean) - Method in class ca.uqac.lif.petitpoucet.function.vector.ParameterizedVectorFunction
-
- copyInto(VectorBooleanConnective, boolean) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorBooleanConnective
-
- copyInto(VectorProduct, boolean) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorProduct
-
- countNulls() - Method in class ca.uqac.lif.petitpoucet.function.number.Multiplication
-
Counts the number of input arguments that were equal to 0 the last
time the function was called.
- countNulls() - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorProduct
-
Counts the number of input elements that were equal to 0 the last
time the function was called.
- countWitnesses(boolean) - Method in class ca.uqac.lif.petitpoucet.function.booleans.BooleanConnective
-
- countWitnesses() - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorBooleanConnective
-
Counts the number of input elements that were equal to false the last
time the function was called.
- crawl() - Method in class ca.uqac.lif.dag.Crawler
-
Visits every node in the graph from the specified starting point.
- crawl() - Method in class ca.uqac.lif.dag.FlatteningCrawler
-
- crawl(Node, Set<Node>) - Method in class ca.uqac.lif.dag.FlatteningCrawler
-
- Crawler - Class in ca.uqac.lif.dag
-
Visits every node in a directed acyclic graph.
- Crawler(Node) - Constructor for class ca.uqac.lif.dag.Crawler
-
Creates a new crawler.
- createFromTree(Node) - Static method in class ca.uqac.lif.dag.NestedNode
-
Creates a new nested node from a tree of connected nodes.
- cutFrom(Node, int, Node, int) - Static method in class ca.uqac.lif.dag.NodeConnector
-
Cuts the directed link between a node and another one.
- get(int) - Method in class ca.uqac.lif.petitpoucet.ComposedPart
-
Gets the designator at a given position in the composition.
- getAndNode() - Method in class ca.uqac.lif.petitpoucet.NodeFactory
-
- getAssociatedInput(int) - Method in class ca.uqac.lif.dag.NestedNode
-
Gets the input pin of the internal node associated to a given input pin
of the nested node.
- getAssociatedOutput(int) - Method in class ca.uqac.lif.dag.NestedNode
-
Gets the output pin of the internal node associated to a given output pin
of the nested node.
- getBackgroundColor(int) - Static method in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
Gets the background color of the sub-graph associated to a given nesting
level.
- getBytes() - Method in class examples.util.CommandRunner
-
Gets the contents of stdout sent by the command as an array of bytes
- getBytes() - Method in class examples.util.CommandRunner.StreamGobbler
-
Returns the contents captured by the gobbler as an array of bytes
- getConnector() - Method in class ca.uqac.lif.dag.NestedNode
-
Gets an instance of node connector.
- getContext(String) - Method in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
- getContext(String) - Method in class ca.uqac.lif.petitpoucet.function.Circuit
-
- getContext(String) - Method in interface ca.uqac.lif.petitpoucet.function.Contextualizable
-
Gets a value from the object's context.
- getCopyOf(Node) - Method in class ca.uqac.lif.dag.NestedNode.CopyCrawler
-
- getErrorCode() - Method in class examples.util.CommandRunner
-
Gets the return code of the command.
- getExplanation(Part) - Method in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.booleans.BooleanConnective
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.booleans.IfThenElse
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.Circuit
-
- getExplanation(Part) - Method in class ca.uqac.lif.petitpoucet.function.Circuit
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.Constant
-
- getExplanation(Part) - Method in interface ca.uqac.lif.petitpoucet.function.ExplanationQueryable
-
Produces an explanation graph for a given part.
- getExplanation(Part, NodeFactory) - Method in interface ca.uqac.lif.petitpoucet.function.ExplanationQueryable
-
Produces an explanation graph for a given part, using nodes provided by
a given factory.
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.ltl.Eventually
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.ltl.Globally
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.ltl.Next
-
- getExplanation(Part, NodeFactory, boolean) - Method in class ca.uqac.lif.petitpoucet.function.ltl.UnaryOperator
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.number.Multiplication
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.strings.Split
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.vector.ElementAt
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.vector.Filter
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorApply
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorBooleanConnective
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorFunction
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorOutputFunction
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorProduct
-
- getExplanation(Part, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.vector.Window
-
- getFactory() - Static method in class ca.uqac.lif.petitpoucet.NodeFactory
-
Gets a new empty instance of a node factory.
- getFactory(Part, Object) - Method in class ca.uqac.lif.petitpoucet.NodeFactory
-
- getFrame() - Method in class examples.util.GraphViewer.BitmapJFrame
-
Gets the frame associated to the object
- getGraph(List<Node>, boolean) - Static method in class examples.util.GraphViewer
-
Renders a graph, calls DOT in the background and retrieves the binary
image it produces.
- getIndent(int) - Static method in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
Gets the indent to apply to each line of code depending on the renderrer's
nesting level.
- getIndex() - Method in class ca.uqac.lif.dag.Pin
-
Gets the index of the pin on the node this pin is attached to.
- getIndex() - Method in class ca.uqac.lif.petitpoucet.function.NthInput
-
Gets the input index.
- getIndex() - Method in class ca.uqac.lif.petitpoucet.function.NthOutput
-
Gets the output index.
- getIndex() - Method in class ca.uqac.lif.petitpoucet.function.vector.NthElement
-
Gets the input index.
- getInputArity() - Method in interface ca.uqac.lif.dag.Connectable
-
Gets the input arity of the node.
- getInputArity() - Method in class ca.uqac.lif.dag.Node
-
- getInputLinks(int) - Method in interface ca.uqac.lif.dag.Connectable
-
Gets the output pins of other nodes that are connected to a given
input pin of this node.
- getInputLinks(int) - Method in class ca.uqac.lif.dag.Node
-
- getInputPin(int) - Method in interface ca.uqac.lif.dag.Connectable
-
Gets the node's input pin for a given index.
- getInputPin(int) - Method in class ca.uqac.lif.dag.Node
-
- getInputPin(int) - Method in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
- getInputPin(int) - Method in class ca.uqac.lif.petitpoucet.function.Circuit
-
- getLabel() - Method in class ca.uqac.lif.dag.LabelledNode
-
Gets the label associated to this node.
- getLeaves() - Method in class ca.uqac.lif.dag.NestedNode.NestedNodeCrawler
-
Gets the list of visited nodes that are leaves.
- getMinLength() - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorFunction
-
Returns the length of the shortest of the input lists given to the
function the last time it was called.
- getNestedInput(Node, int) - Method in class ca.uqac.lif.dag.NestedNode
-
Gets the nested node input to which the n-th input of an inner node
is associated with.
- getNode() - Method in class ca.uqac.lif.dag.Pin
-
Gets the node this pin is attached to.
- getNodes() - Method in class ca.uqac.lif.dag.NestedNode.NestedNodeCrawler
-
Gets the list of all visited nodes.
- getOrNode() - Method in class ca.uqac.lif.petitpoucet.NodeFactory
-
- getOutputArity() - Method in interface ca.uqac.lif.dag.Connectable
-
Gets the output arity of the node.
- getOutputArity() - Method in class ca.uqac.lif.dag.Node
-
- getOutputLinks(int) - Method in interface ca.uqac.lif.dag.Connectable
-
Gets the input pins of other nodes that are connected to a given
output pin of this node.
- getOutputLinks(int) - Method in class ca.uqac.lif.dag.Node
-
- getOutputPin(int) - Method in interface ca.uqac.lif.dag.Connectable
-
Gets the node's input pin for a given index.
- getOutputPin(int) - Method in class ca.uqac.lif.dag.Node
-
- getOutputPin(int) - Method in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
- getOutputPin(int) - Method in class ca.uqac.lif.petitpoucet.function.Circuit
-
- getOutputValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.ElementAt
-
- getOutputValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.GetSize
-
- getOutputValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorAnd
-
- getOutputValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorFunction
-
- getOutputValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorOr
-
- getOutputValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorOutputFunction
-
- getOutputValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorProduct
-
- getOutputValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorSum
-
- getPart() - Method in class ca.uqac.lif.petitpoucet.PartNode
-
Gets the part contained in this node.
- getPartNode(Part, Object) - Method in class ca.uqac.lif.petitpoucet.NodeFactory
-
Gets an instance of
PartNode corresponding to a particular part
and subject.
- getPartNodeColor(Part) - Static method in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
Gets the background color of a part node.
- getPin(Collection<Pin<? extends Node>>) - Static method in class ca.uqac.lif.petitpoucet.function.Circuit
-
Extracts the first pin obtained from a collection.
- getRootCopy() - Method in class ca.uqac.lif.dag.FlatteningCrawler
-
- GetSize - Class in ca.uqac.lif.petitpoucet.function.vector
-
Calculates the size of the input vector.
- GetSize() - Constructor for class ca.uqac.lif.petitpoucet.function.vector.GetSize
-
Creates a new instance of the function.
- getString() - Method in class examples.util.CommandRunner
-
Gets the contents of stdout sent by the command as a string
- getSubject() - Method in class ca.uqac.lif.petitpoucet.PartNode
-
Gets the subject contained in this node.
- getSubNode(Part, int, NodeFactory) - Method in class ca.uqac.lif.petitpoucet.function.vector.ParameterizedVectorFunction
-
Produces a
NestedNode containing the explanation tree for the
evaluation of a given instance of the inner function.
- getSubscript() - Method in class ca.uqac.lif.petitpoucet.function.NthInput
-
- getSuperscript() - Method in class ca.uqac.lif.petitpoucet.function.NthOutput
-
- getUnknownNode() - Method in class ca.uqac.lif.petitpoucet.NodeFactory
-
- getValue() - Method in class ca.uqac.lif.petitpoucet.function.AtomicFunction.AtomicFunctionInputPin
-
Gets the value of this input pin.
- getValue() - Method in class ca.uqac.lif.petitpoucet.function.AtomicFunction.AtomicFunctionOutputPin
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
Computes the output value of the function based on input arguments.
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.booleans.And
-
- getValue() - Method in class ca.uqac.lif.petitpoucet.function.booleans.BooleanConnective.FailFastOutputPin
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.booleans.IfThenElse
-
- getValue() - Method in class ca.uqac.lif.petitpoucet.function.booleans.IfThenElse.IfThenElseOutputPin
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.booleans.Not
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.booleans.Or
-
- getValue() - Method in class ca.uqac.lif.petitpoucet.function.Circuit.CircuitInputPin
-
Gets the value of this input pin.
- getValue() - Method in class ca.uqac.lif.petitpoucet.function.Circuit.CircuitOutputPin
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.Constant
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.Equals
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.Fork
-
- getValue() - Method in class ca.uqac.lif.petitpoucet.function.FunctionPin
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.ltl.Eventually
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.ltl.Globally
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.ltl.Next
-
- getValue(boolean, Object...) - Method in class ca.uqac.lif.petitpoucet.function.ltl.UnaryOperator
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.number.AbsoluteValue
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.number.Addition
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.number.IsGreaterThan
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.number.Multiplication
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.number.NumberCast
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.number.Subtraction
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.reflect.InstanceOf
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.strings.Split
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.vector.Filter
-
- getValue(Object...) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorFunction
-
- getVectorValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorApply
-
- getVectorValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.VectorOutputFunction
-
Computes the output list based on input lists.
- getVectorValue(List<?>...) - Method in class ca.uqac.lif.petitpoucet.function.vector.Window
-
- Globally - Class in ca.uqac.lif.petitpoucet.function.ltl
-
The LTL "globally" modality.
- Globally() - Constructor for class ca.uqac.lif.petitpoucet.function.ltl.Globally
-
Creates a new instance of the operator.
- GraphUtilities - Class in ca.uqac.lif.petitpoucet
-
Utility methods for transforming lineage graphs.
- GraphUtilities() - Constructor for class ca.uqac.lif.petitpoucet.GraphUtilities
-
- GraphViewer - Class in examples.util
-
Utility methods to render and display explanation graphs.
- GraphViewer() - Constructor for class examples.util.GraphViewer
-
- GraphViewer.BitmapJFrame - Class in examples.util
-
Receives a byte array as an input, and shows it in a Swing
window as a picture.
- m_allNodes - Variable in class ca.uqac.lif.dag.NestedNode.NestedNodeCrawler
-
The list of all visited nodes.
- m_allowBackward - Variable in class ca.uqac.lif.dag.Crawler
-
A flag that determines if the crawler is allowed to take backward
connections.
- m_allowForward - Variable in class ca.uqac.lif.dag.Crawler
-
A flag that determines if the crawler is allowed to take forward
connections.
- m_arguments - Variable in class ca.uqac.lif.petitpoucet.function.booleans.BooleanConnective
-
An array keeping track of the input arguments the last time the function
was called.
- m_class - Variable in class ca.uqac.lif.petitpoucet.function.reflect.InstanceOf
-
The class to check.
- m_command - Variable in class examples.util.CommandRunner
-
- m_connector - Variable in class ca.uqac.lif.dag.FlatteningCrawler
-
A connector used to connect nodes.
- m_connector - Variable in class ca.uqac.lif.dag.NestedNode.CopyCrawler
-
A connector used to connect nodes.
- m_context - Variable in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
A context that can be assigned to a function.
- m_context - Variable in class ca.uqac.lif.petitpoucet.function.Circuit
-
A context that can be assigned to a circuit.
- m_copies - Variable in class ca.uqac.lif.dag.FlatteningCrawler
-
A map associating original nodes to their corresponding copy.
- m_copies - Variable in class ca.uqac.lif.dag.NestedNode.CopyCrawler
-
A map associating original nodes to their corresponding copy.
- m_designators - Variable in class ca.uqac.lif.petitpoucet.ComposedPart
-
The list of designators representing the composition.
- m_endIndex - Variable in class ca.uqac.lif.petitpoucet.function.strings.Range
-
The end position of the range.
- m_errorCode - Variable in class examples.util.CommandRunner
-
- m_evaluated - Variable in class ca.uqac.lif.petitpoucet.function.FunctionPin
-
- m_expanded - Variable in class ca.uqac.lif.dag.NestedNode.CopyCrawler
-
The set of nodes that have been expanded (i.e.
- m_expanded - Variable in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
The set of nodes that have been expanded (nodes that had their children
rendered).
- m_factories - Variable in class ca.uqac.lif.petitpoucet.NodeFactory
-
A map associating part nodes to child factory instances.
- m_failFast - Variable in class ca.uqac.lif.petitpoucet.function.booleans.BooleanConnective
-
A flag specifying if the connective is fail-fast.
- m_firstOperand - Variable in class ca.uqac.lif.petitpoucet.function.booleans.IfThenElse
-
A flag that remembers the value of the first operand the last time the
function was called.
- m_frame - Variable in class examples.util.GraphViewer.BitmapJFrame
-
- m_function - Variable in class ca.uqac.lif.petitpoucet.function.vector.ParameterizedVectorFunction
-
The function to apply.
- m_idCounter - Variable in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
A counter used to give unique IDs to each new node encountered in the
graph.
- m_indent - Variable in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
The prefix to give to each node ID in the graph.
- m_index - Variable in class ca.uqac.lif.dag.Pin
-
The index of the pin on that node.
- m_inputAssociations - Variable in class ca.uqac.lif.dag.NestedNode
-
A map storing associations between the node's input pins and an input
pin of some internal node.
- m_inputLength - Variable in class ca.uqac.lif.petitpoucet.function.ltl.Next
-
The length of the input vector the last time the function was called.
- m_inputPins - Variable in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
An array of input pins for the function.
- m_inputPins - Variable in class ca.uqac.lif.petitpoucet.function.Circuit
-
An array of input pins for the function.
- m_inputs - Variable in class ca.uqac.lif.dag.Node
-
A map associating input pin indices with a list of output pins of other
nodes.
- m_internalNodes - Variable in class ca.uqac.lif.dag.NestedNode
-
The internal nodes contained within this node.
- m_label - Variable in class ca.uqac.lif.dag.LabelledNode
-
An object associated to a node.
- m_label - Variable in class examples.util.GraphViewer.BitmapJFrame
-
- m_lastInputs - Variable in class ca.uqac.lif.petitpoucet.function.vector.VectorFunction
-
The last vectors given as an input to the function.
- m_lastInstances - Variable in class ca.uqac.lif.petitpoucet.function.vector.ParameterizedVectorFunction
-
An instance of the function for each application on the elements
of the last input vector.
- m_lastOutputs - Variable in class ca.uqac.lif.petitpoucet.function.vector.VectorOutputFunction
-
The last vector produced as an output by the function.
- m_leaves - Variable in class ca.uqac.lif.dag.NestedNode.NestedNodeCrawler
-
The list of nodes that are leaves.
- m_leaves - Variable in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
The nodes that corresponds to he leaves of the graph.
- m_name - Variable in class ca.uqac.lif.petitpoucet.function.Circuit
-
A name that can be given to the circuit.
- m_nestingLevel - Variable in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
The nesting level of this graph.
- m_noCaptions - Variable in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
Flag that determines if the captions of non-leaf nodes should be printed.
- m_node - Variable in class ca.uqac.lif.dag.Pin
-
The node this pin is attached to.
- m_nodeIds - Variable in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
A map associating node instances to their uniquely generated ID.
- m_nulls - Variable in class ca.uqac.lif.petitpoucet.function.number.Multiplication
-
An array keeping track of what input arguments were equal to zero the last
time the function was called.
- m_nulls - Variable in class ca.uqac.lif.petitpoucet.function.vector.VectorProduct
-
A list keeping track of what input elements were equal to zero the last
time the function was called.
- m_offsets - Variable in class ca.uqac.lif.petitpoucet.function.strings.Split
-
The list of positions of the first character in each of the parts
calculated the last time the function was called.
- m_outputAssociations - Variable in class ca.uqac.lif.dag.NestedNode
-
A map storing associations between the node's output pins and an output
pin of some internal node.
- m_outputPins - Variable in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
An array of output pins for the function.
- m_outputPins - Variable in class ca.uqac.lif.petitpoucet.function.Circuit
-
An array of output pins for the function.
- m_outputs - Variable in class ca.uqac.lif.dag.Node
-
A map associating output pin indices with a list of input pins of other
nodes.
- m_part - Variable in class ca.uqac.lif.petitpoucet.NodeFactory.ObjectPart
-
The object part.
- m_partNodes - Variable in class ca.uqac.lif.petitpoucet.NodeFactory
-
A map associating object/part pairs to instances of
PartNode.
- m_parts - Variable in class ca.uqac.lif.petitpoucet.function.strings.Split
-
The list of string parts calculated the last time the function was
called.
- m_position - Variable in class ca.uqac.lif.petitpoucet.function.vector.ElementAt
-
The position of the element to get in the input vector.
- m_positions - Variable in class ca.uqac.lif.petitpoucet.function.vector.Filter
-
A list keeping track of the position in the input list of each element
of the output list, the last time the function was called.
- m_prefix - Variable in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
The prefix to give to each node ID in the graph.
- m_regex - Variable in class ca.uqac.lif.petitpoucet.function.strings.Split
-
The regular expression used to split the string.
- m_rendered - Variable in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
The set of nodes that have been rendered.
- m_roots - Variable in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
The nodes used as the starting point for the rendering.
- m_secondOperand - Variable in class ca.uqac.lif.petitpoucet.function.booleans.IfThenElse
-
The value of the second operand the last time the function was called.
- m_start - Variable in class ca.uqac.lif.dag.Crawler
-
The starting point of the crawl.
- m_start - Variable in class ca.uqac.lif.dag.FlatteningCrawler
-
The starting point for the crawl.
- m_startIndex - Variable in class ca.uqac.lif.petitpoucet.function.strings.Range
-
The start position of the range.
- m_stderrGobbler - Variable in class examples.util.CommandRunner
-
- m_stdin - Variable in class examples.util.CommandRunner
-
- m_stdoutGobbler - Variable in class examples.util.CommandRunner
-
- m_stop - Variable in class examples.util.CommandRunner
-
- m_subject - Variable in class ca.uqac.lif.petitpoucet.NodeFactory.ObjectPart
-
The object.
- m_thirdOperand - Variable in class ca.uqac.lif.petitpoucet.function.booleans.IfThenElse
-
The value of the third operand the last time the function was called.
- m_value - Variable in class ca.uqac.lif.petitpoucet.function.Constant
-
The value to be returned by the function
- m_value - Variable in class ca.uqac.lif.petitpoucet.function.FunctionPin
-
- m_width - Variable in class ca.uqac.lif.petitpoucet.function.vector.Window
-
The width of the sliding window.
- m_withState - Variable in class ca.uqac.lif.dag.NestedNode.CopyCrawler
-
Whether node duplication is stateful.
- m_witnesses - Variable in class ca.uqac.lif.petitpoucet.function.ltl.UnaryOperator
-
A list containing positions of the input vector that are witnesses of the
function's verdict, the last time the function was called.
- m_witnesses - Variable in class ca.uqac.lif.petitpoucet.function.vector.VectorBooleanConnective
-
A list keeping track of what input elements were equal to zero the last
time the function was called.
- m_witnessValue - Variable in class ca.uqac.lif.petitpoucet.function.booleans.BooleanConnective
-
The value used as a witness for the Boolean connective.
- m_x - Variable in class examples.circuits.Triangle.TriangleInequality
-
The first side of the triangle.
- m_y - Variable in class examples.circuits.Triangle.TriangleInequality
-
The second side of the triangle.
- m_z - Variable in class examples.circuits.Triangle.TriangleInequality
-
The third side of the triangle.
- main(String[]) - Static method in class examples.circuits.AllPositive
-
- main(String[]) - Static method in class examples.circuits.ConditionSum
-
- main(String[]) - Static method in class examples.circuits.Triangle
-
- main(String[]) - Static method in class examples.number.ArithmeticCircuit1
-
- main(String[]) - Static method in class examples.number.ArithmeticCircuit2
-
- main(String[]) - Static method in class examples.number.ArithmeticCircuit3
-
- main(String[]) - Static method in class examples.vector.WindowProduct1
-
- main(String[]) - Static method in class examples.vector.WindowProduct2
-
- main(String[]) - Static method in class examples.vector.WindowProductMultiQuery
-
- mentionedElement(Part) - Static method in class ca.uqac.lif.petitpoucet.function.vector.NthElement
-
Retrieves the element of the output vector mentioned in a designator.
- mentionedInput(Part) - Static method in class ca.uqac.lif.petitpoucet.function.NthInput
-
Retrieves the input pin index mentioned in a designator.
- mentionedOutput(Part) - Static method in class ca.uqac.lif.petitpoucet.function.NthOutput
-
Retrieves the output pin index mentioned in a designator.
- Multiplication - Class in ca.uqac.lif.petitpoucet.function.number
-
Multiplies all arguments of the input.
- Multiplication(int) - Constructor for class ca.uqac.lif.petitpoucet.function.number.Multiplication
-
Creates a new instance of the function.
- Multiplication() - Constructor for class ca.uqac.lif.petitpoucet.function.number.Multiplication
-
Creates a new instance of the function with an arity of 2.
- NestedNode - Class in ca.uqac.lif.dag
-
A node that itself encloses a directed acyclic graph of other nodes.
- NestedNode(int, int) - Constructor for class ca.uqac.lif.dag.NestedNode
-
Creates a new empty nested node.
- NestedNode.CopyCrawler - Class in ca.uqac.lif.dag
-
A crawler that creates copies of all visited nodes and connects them in
the same way as the originals.
- NestedNode.NestedNodeCrawler - Class in ca.uqac.lif.dag
-
A crawler visiting all inner nodes of the nested node.
- NestedNodeCrawler(Node) - Constructor for class ca.uqac.lif.dag.NestedNode.NestedNodeCrawler
-
Creates a new crawler.
- Next - Class in ca.uqac.lif.petitpoucet.function.ltl
-
The LTL "next" modality.
- Next() - Constructor for class ca.uqac.lif.petitpoucet.function.ltl.Next
-
Creates a new instance of the operator.
- Node - Class in ca.uqac.lif.dag
-
Abstract entity having input and output pins that can be linked to pins of
of other nodes.
- Node(int, int) - Constructor for class ca.uqac.lif.dag.Node
-
Creates a new node.
- NodeConnector - Class in ca.uqac.lif.dag
-
Provides methods to connect nodes together.
- NodeConnector() - Constructor for class ca.uqac.lif.dag.NodeConnector
-
- NodeFactory - Class in ca.uqac.lif.petitpoucet
-
Provides lineage nodes in a local context.
- NodeFactory() - Constructor for class ca.uqac.lif.petitpoucet.NodeFactory
-
Creates a new node factory.
- NodeFactory.ObjectPart - Class in ca.uqac.lif.petitpoucet
-
Class that uniquely defines an object part and a subject.
- Not - Class in ca.uqac.lif.petitpoucet.function.booleans
-
Implementation of logical negation.
- Not() - Constructor for class ca.uqac.lif.petitpoucet.function.booleans.Not
-
- nothing - Static variable in interface ca.uqac.lif.petitpoucet.Part
-
An instance of the "nothing" designator
- NthElement - Class in ca.uqac.lif.petitpoucet.function.vector
-
Designator related to the n-th element of a vector.
- NthElement(int) - Constructor for class ca.uqac.lif.petitpoucet.function.vector.NthElement
-
Creates a new designator instance.
- NthInput - Class in ca.uqac.lif.petitpoucet.function
-
Designator related to the n-th input of a function.
- NthInput(int) - Constructor for class ca.uqac.lif.petitpoucet.function.NthInput
-
Creates a new designator instance.
- NthOutput - Class in ca.uqac.lif.petitpoucet.function
-
Designator related to the n-th output of a function.
- NthOutput(int) - Constructor for class ca.uqac.lif.petitpoucet.function.NthOutput
-
Creates a new designator instance.
- NumberCast - Class in ca.uqac.lif.petitpoucet.function.number
-
Converts an object into a number.
- NumberCast() - Constructor for class ca.uqac.lif.petitpoucet.function.number.NumberCast
-
- save(List<Node>, String, boolean) - Static method in class examples.util.GraphViewer
-
Saves a graph to a file.
- save(Node, String, boolean) - Static method in class examples.util.GraphViewer
-
Saves a graph to a file.
- save(List<Node>, String) - Static method in class examples.util.GraphViewer
-
Saves a graph to a file.
- SECOND - Static variable in class ca.uqac.lif.petitpoucet.function.NthInput
-
A static reference to an instance of "second input"
- SECOND - Static variable in class ca.uqac.lif.petitpoucet.function.NthOutput
-
A static reference to an instance of "second output"
- setContext(String, Object) - Method in class ca.uqac.lif.petitpoucet.function.AtomicFunction
-
- setContext(String, Object) - Method in class ca.uqac.lif.petitpoucet.function.Circuit
-
- setContext(String, Object) - Method in interface ca.uqac.lif.petitpoucet.function.Contextualizable
-
Sets a value for a key in the object's context.
- setNoCaptions(boolean) - Method in class ca.uqac.lif.petitpoucet.function.LineageDotRenderer
-
Sets whether to hide captions of non-leaf nodes.
- setToInput(int, Pin<? extends Node>) - Method in interface ca.uqac.lif.dag.Connectable
-
Sets a node's output pin as the connection of this node's input
pin.
- setToInput(int, Pin<? extends Node>) - Method in class ca.uqac.lif.dag.Node
-
- setToOutput(int, Pin<? extends Node>) - Method in interface ca.uqac.lif.dag.Connectable
-
Sets a node's input pin as the connection of this node's output
pin.
- setToOutput(int, Pin<? extends Node>) - Method in class ca.uqac.lif.dag.Node
-
- setValue(Object) - Method in class ca.uqac.lif.petitpoucet.function.Circuit.CircuitInputPin
-
- setValue(Object) - Method in class ca.uqac.lif.petitpoucet.function.FunctionPin
-
- simplify(Node) - Static method in class ca.uqac.lif.petitpoucet.function.FunctionLineageGraphUtilities
-
Simplifies a lineage graph.
- simplify(List<Node>) - Static method in class ca.uqac.lif.petitpoucet.function.FunctionLineageGraphUtilities
-
Simplifies a lineage graph.
- simplify(Node) - Static method in class ca.uqac.lif.petitpoucet.GraphUtilities
-
Simplifies a single-rooted lineage graph.
- simplify(List<Node>) - Static method in class ca.uqac.lif.petitpoucet.GraphUtilities
-
Simplifies a list of lineage graphs.
- size() - Method in class ca.uqac.lif.petitpoucet.ComposedPart
-
Gets the size of the composed designator.
- Split - Class in ca.uqac.lif.petitpoucet.function.strings
-
Splits a string into parts according to a regular expression.
- Split(String) - Constructor for class ca.uqac.lif.petitpoucet.function.strings.Split
-
Creates a new split function.
- squash(List<Node>) - Static method in class ca.uqac.lif.petitpoucet.GraphUtilities
-
Out of a list of lineage graphs, creates another graph where only
Boolean nodes and leaves are kept.
- squash(Node, Set<Node>, Map<Node, Node>) - Static method in class ca.uqac.lif.petitpoucet.GraphUtilities
-
Out of a single-rooted lineage graph, creates another graph where only
Boolean nodes and leaves are kept.
- squash(Node) - Static method in class ca.uqac.lif.petitpoucet.GraphUtilities
-
Out of a single-rooted lineage graph, creates another graph where only
Boolean nodes and leaves are kept.
- squash(Node, int, Pin<? extends Node>, Set<Node>, Map<Node, Node>) - Static method in class ca.uqac.lif.petitpoucet.GraphUtilities
-
- stopCommand() - Method in class examples.util.CommandRunner
-
Interrupts the execution of the command
- Subtraction - Class in ca.uqac.lif.petitpoucet.function.number
-
Subtracts from the first argument all the remaining arguments.
- Subtraction(int) - Constructor for class ca.uqac.lif.petitpoucet.function.number.Subtraction
-
Creates a new instance of the function.