See: Description
| 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.util |
Package defining generic classes and interfaces used in this library.
|
| Package | Description |
|---|---|
| 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.
|
| Package | Description |
|---|---|
| examples.circuits |
Examples of more complex circuits.
|
| examples.number |
Examples of circuits involving arithmetic operators, and their associated
lineage graphs.
|
| examples.util |
Utility classes used in the examples.
|
| examples.vector |
Examples of circuits that manipulate vectors.
|
Petit Poucet is a Java library that implements concepts of lineage tracking. In a nutshell, lineage is defined as the capacity to link outputs of an information system to its inputs in a meaningful way.
Copyright © Sylvain Hallé. All Rights Reserved.