Package | Description |
---|---|
ca.uqac.lif.dag |
A package for manipulating directed acyclic graphs (DAGs).
|
ca.uqac.lif.petitpoucet |
Package defining the core classes and interfaces for lineage tracking.
|
ca.uqac.lif.petitpoucet.function |
Implementation of Petit Poucet lineage tracking capabilities for function
circuits.
|
ca.uqac.lif.petitpoucet.function.booleans |
Functions related to Boolean values and connectives.
|
ca.uqac.lif.petitpoucet.function.ltl |
Operators of Linear Temporal Logic (LTL) applied to vectors of Boolean
values.
|
ca.uqac.lif.petitpoucet.function.number |
Artithmetic operators and other basic numerical functions.
|
ca.uqac.lif.petitpoucet.function.reflect |
Functions related to reflection in Java.
|
ca.uqac.lif.petitpoucet.function.strings |
String manipulation functions.
|
ca.uqac.lif.petitpoucet.function.vector |
Vector manipulation functions.
|
examples.circuits |
Examples of more complex circuits.
|
Modifier and Type | Class and Description |
---|---|
class |
Pin<T extends Connectable>
An object associated to a node, and that can be the incoming or the
outgoing extremity of a connection between nodes.
|
Modifier and Type | Class and Description |
---|---|
class |
LabelledNode
A node that contains an object, called its "label".
|
class |
NestedNode
A node that itself encloses a directed acyclic graph of other nodes.
|
class |
Node
Abstract entity having input and output pins that can be linked to pins of
of other nodes.
|
Modifier and Type | Field and Description |
---|---|
protected T |
Pin.m_node
The node this pin is attached to.
|
Modifier and Type | Class and Description |
---|---|
class |
AndNode
Node representing a conjunction of two lineage graphs.
|
class |
OrNode
Node representing a disjunction of two lineage graphs.
|
class |
PartNode
Node whose label is a pair made of a part and an object.
|
class |
UnknownNode
A node representing an unknown lineage.
|
Modifier and Type | Class and Description |
---|---|
class |
FunctionPin<T extends Connectable> |
Modifier and Type | Interface and Description |
---|---|
interface |
Function
An object that receives inputs and produces outputs.
|
Modifier and Type | Class and Description |
---|---|
class |
AtomicFunction
A self-contained computation unit that produces an array of output values
from an array of input values.
|
class |
Circuit
An object encasing a graph of connected functions and acting externally as
a single function.
|
class |
Constant
Function that has no input and returns a constant value.
|
class |
Equals
Checks the equality between two values.
|
class |
Fork
Duplicates the value on an input pin to multiple output pins.
|
Modifier and Type | Class and Description |
---|---|
class |
And
Function implementing logical conjunction.
|
class |
BooleanConnective
Abstract class used as a basis for the implementation of conjunction and
disjunction.
|
class |
IfThenElse
Function with three arguments that acts as an if-then-else construct.
|
class |
Not
Implementation of logical negation.
|
class |
Or
Function implementing logical conjunction.
|
Modifier and Type | Class and Description |
---|---|
class |
Eventually
The LTL "eventually" modality.
|
class |
Globally
The LTL "globally" modality.
|
class |
Next
The LTL "next" modality.
|
class |
UnaryOperator
The base class of
Globally and Eventually . |
Modifier and Type | Class and Description |
---|---|
class |
AbsoluteValue
Calculates the absolute value of a number.
|
class |
Addition
Adds all arguments of the input.
|
class |
IsGreaterThan
Determines if a number is greater than another one.
|
class |
Multiplication
Multiplies all arguments of the input.
|
class |
NumberCast
Converts an object into a number.
|
class |
Subtraction
Subtracts from the first argument all the remaining arguments.
|
Modifier and Type | Class and Description |
---|---|
class |
InstanceOf
Function that checks if an object is an instance of a given class.
|
Modifier and Type | Class and Description |
---|---|
class |
Split
Splits a string into parts according to a regular expression.
|
Modifier and Type | Class and Description |
---|---|
class |
ElementAt
Gets an element at a given position inside a vector.
|
class |
Filter
Filters the elements of a list based on the Boolean values of another.
|
class |
GetSize
Calculates the size of the input vector.
|
class |
ParameterizedVectorFunction
A function that applies another function repeatedly on elements of an input
vector.
|
class |
VectorAnd
Calculates the conjunction of all Boolean elements in a vector.
|
class |
VectorApply
Applies a m:1 function to m-uples of elements at matching positions in
m input vectors.
|
class |
VectorBooleanConnective
A vector function that applies a Boolean operator on elements on an input
vector (made of Boolean values).
|
class |
VectorFunction
An atomic function taking as its input m vectors, and producing as its
output an arbitrary value (not necessarily a vector).
|
class |
VectorOr
Calculates the disjunction of all Boolean elements in a vector.
|
class |
VectorOutputFunction
An atomic function taking as its input a number of vectors, and producing
as its output a single vector (of possibly different size).
|
class |
VectorProduct
Calculates the product of all numerical elements in a vector.
|
class |
VectorSum
Calculates the sum of all numerical elements in a vector.
|
class |
Window
Creates an output vector by applying a function on successive "windows" of
elements in an input vector.
|
Modifier and Type | Class and Description |
---|---|
protected static class |
Triangle.AllNumbers
Determines if all three elements of of vector are positive numbers.
|
protected static class |
Triangle.AllPositive
Determines if the first three elements of a vector are positive.
|
protected static class |
Triangle.IsPositive
Function that determines if a number is positive.
|
static class |
Triangle.IsValidTriangle
Determines if a vector contains the lengths of sides of a valid triangle.
|
protected static class |
Triangle.TriangleInequality
Verifies the triangle inequality on a vector of three numbers.
|
Copyright © Sylvain HallĂ©. All Rights Reserved.