CoverageGraph (core 0.1.1 API)

java.lang.Object

org.mpi_sws.jmc.strategies.trust.CoverageGraph

public class CoverageGraph extends Object

Constructor Summary

Constructors

Constructor

Description

CoverageGraph()
Method Summary

Modifier and Type

Method

Description

void

addCo(Event w)

void

addPo(Event e)

void

addRf(Event r)

void

printGraph()

String

toString()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details
- CoverageGraph
  
  public CoverageGraph()
Method Details
- addPo
  
  public void addPo(Event e)
- addCo
  
  public void addCo(Event w)
- addRf
  
  public void addRf(Event r)
- printGraph
  
  public void printGraph()
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object