mascoptDev.algos.abstractalgos.kfault
Class KFaultVerification

java.lang.Object
  |
  +--mascoptDev.algos.abstractalgos.kfault.KFaultVerification

public class KFaultVerification

extends Object

This classe verify the cut crition critere on a input network
Condition : The input network have to be valid :
each vertex have : input + output + number of links <= 4
each block (set of adjacant vertices that have input > 0) do not form a circuit
Post relation : a boolean say if the network is K-Fault Tolerant

See Also:

KFaultVerification.htm

Constructor Summary

KFaultVerification(Graph g, int k)
Constructor Param : the input network : Number of fault the network have to support

Method Summary

boolean

verification() Begin the verification of the network boolean test answer

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

KFaultVerification

public KFaultVerification(Graph g,
                          int k)

Constructor Param : the input network : Number of fault the network have to support

Method Detail

verification

public boolean verification()

Begin the verification of the network boolean test answer