cz::muni::stanse::threadchecker::graph::DependencyGraph Class Reference

List of all members.

Public Member Functions

 DependencyGraph ()
 DependencyGraph (List< DependencyRule > rules)
Collection< DependencyRulegetRules ()
void addRule (DependencyRule newRule)
boolean isSubset (DependencyGraph otherGraph)
DependencyGraph merge (DependencyGraph other)
boolean equals (Object obj)
int hashCode ()
int size ()
String toString ()

Detailed Description

Class holds List of DependencyRules and also provides some usefull methods for comparing and reducing number of rules.
Jan Kučera

Constructor & Destructor Documentation

cz::muni::stanse::threadchecker::graph::DependencyGraph::DependencyGraph (  )  [inline]

cz::muni::stanse::threadchecker::graph::DependencyGraph::DependencyGraph ( List< DependencyRule rules  )  [inline]

Member Function Documentation

Collection<DependencyRule> cz::muni::stanse::threadchecker::graph::DependencyGraph::getRules (  )  [inline]

void cz::muni::stanse::threadchecker::graph::DependencyGraph::addRule ( DependencyRule  newRule  )  [inline]

boolean cz::muni::stanse::threadchecker::graph::DependencyGraph::isSubset ( DependencyGraph  otherGraph  )  [inline]

Method compare otherGraph wheter these two graphs are subset or similar

otherGraph DependencyGraph
true whether otherGraph has similar DependencyRules.

DependencyGraph cz::muni::stanse::threadchecker::graph::DependencyGraph::merge ( DependencyGraph  other  )  [inline]

Method create new DependencyGraph and merge there Dep. rules from this and other graph.

other DependencyGraph
DependencyGraph merged graph

boolean cz::muni::stanse::threadchecker::graph::DependencyGraph::equals ( Object  obj  )  [inline]

int cz::muni::stanse::threadchecker::graph::DependencyGraph::hashCode (  )  [inline]

int cz::muni::stanse::threadchecker::graph::DependencyGraph::size (  )  [inline]

String cz::muni::stanse::threadchecker::graph::DependencyGraph::toString (  )  [inline]

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

Generated on Thu Jan 13 16:24:10 2011 for Stanse by  doxygen 1.5.6