forge.solve
Class Coverage

java.lang.Object
  forge.solve.Coverage

public final class Coverage
extends java.lang.Object

Coverage of a

Author:

Greg Dennis (gdennis@mit.edu)

Nested Class Summary

static class

Coverage.Score A coverage score given to a statement.

Method Summary

ForgeCFG	code()
java.util.Set<?>	kkCore() Returns set of Kodkod formulas in the core.
ForgeCFG.Spec	spec()
Coverage.Score	stmtScore(CFGStmt stmt)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

code

public ForgeCFG code()

spec

public ForgeCFG.Spec spec()

kkCore

public java.util.Set<?> kkCore()

Returns set of Kodkod formulas in the core.

stmtScore

public Coverage.Score stmtScore(CFGStmt stmt)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object