public class InconsistencyProof
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.LinkedList<Channel> |
cycle |
private Fraction |
out2inRatio |
Constructor and Description |
---|
InconsistencyProof() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
diagnostics()
Provide the (hopefully) human-readable diagnostics of the inconsistency
|
boolean |
findBadCycle(Solutions.Data data)
Check the channels we did not visit.
|
private void |
findCycle(Channel refChannel,
Solutions.Data data)
given the channel where inconsistency was detected, expose
the complete cyclic path with inconsistency by combining
this channel with the paths which were followed by the solver
when trying to derive the solution.
|
java.util.LinkedList<Channel> |
getCycle()
a undirected cycle found by findBadCycle in "IN-to-OUT" direction
of a (rather arbitrary) 'reference channel'
|
Fraction |
getOutToInRatio()
mismathed factors in the cycle: "OUT" to "IN" ratio
of a (rather arbitrary) 'reference channel'
|
private static java.util.LinkedList<Channel> |
pathToStart(Actor actor,
Solutions.Data data) |
java.lang.String |
toString()
Diagnostics
|
private java.util.LinkedList<Channel> cycle
private Fraction out2inRatio
public java.util.LinkedList<Channel> getCycle()
public Fraction getOutToInRatio()
public boolean findBadCycle(Solutions.Data data)
private void findCycle(Channel refChannel, Solutions.Data data)
private static java.util.LinkedList<Channel> pathToStart(Actor actor, Solutions.Data data)
actor
- - where to start fromdata
- - solver datapublic java.lang.String diagnostics()
public java.lang.String toString()
toString
in class java.lang.Object