Package | Description |
---|---|
ca.uqac.lif.dag |
A package for manipulating directed acyclic graphs (DAGs).
|
ca.uqac.lif.petitpoucet.function |
Implementation of Petit Poucet lineage tracking capabilities for function
circuits.
|
ca.uqac.lif.petitpoucet.function.vector |
Vector manipulation functions.
|
examples.circuits |
Examples of more complex circuits.
|
Modifier and Type | Method and Description |
---|---|
static NestedNode |
NestedNode.createFromTree(Node root)
Creates a new nested node from a tree of connected nodes.
|
NestedNode |
NestedNode.duplicate(boolean with_state) |
Modifier and Type | Method and Description |
---|---|
void |
NestedNode.CopyCrawler.copyInto(NestedNode nn)
Copies the content of the cloned nodes into a nested node.
|
protected void |
NestedNode.copyInto(NestedNode nn,
boolean with_state) |
Modifier and Type | Class and Description |
---|---|
class |
Circuit
An object encasing a graph of connected functions and acting externally as
a single function.
|
Modifier and Type | Method and Description |
---|---|
protected NestedNode |
Circuit.develop(Part start,
Node subject,
NodeFactory factory)
From an output pin of an inner function, calculates the explanation and
repeats the process if any input pins that are mentioned are connected to
output pins of other functions.
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
LineageDotRenderer.renderNestedNode(java.io.PrintStream ps,
NestedNode current,
java.lang.String n_id)
A specialization of
LineageDotRenderer.renderNode(PrintStream, Node) that renders
a PartNode . |
Modifier and Type | Method and Description |
---|---|
protected NestedNode |
ParameterizedVectorFunction.getSubNode(Part p,
int elem_index,
NodeFactory factory)
Produces a
NestedNode containing the explanation tree for the
evaluation of a given instance of the inner function. |
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.