examples.provenance.ExplanationList2 Class Reference

Detailed Description

A variation of ExplanationList1 where a different explanation is requested, showing that fine-grained parts of the output can be tracked.

This example contains the same code as ExplanationList1, with the exception of the call to Explanation.explain(). This time, the part of the output for which an explanation is requested is the first coordinate of the second point inside the first list output by ComposeList. Given that the picker produces the list [[1,-1],[2,1],[3,0],[4,-1]], this corresponds to asking the provenance of number 2 (in bold).

Definition at line 54 of file ExplanationList2.java.

Static Public Member Functions
static void	main (String[] args)

Member Function Documentation

main()

static void examples.provenance.ExplanationList2.main ( String[]  args )

static

Definition at line 57 of file ExplanationList2.java.

---

The documentation for this class was generated from the following file:

• Source/Examples/src/examples/provenance/ExplanationList2.java