de.rwth.i2.attestor.semantics

Class AggressiveTerminalStatement

java.lang.Object

de.rwth.i2.attestor.semantics.TerminalStatement

de.rwth.i2.attestor.semantics.AggressiveTerminalStatement

All Implemented Interfaces:

SemanticsCommand

public class AggressiveTerminalStatement
extends TerminalStatement

Constructor Summary

Constructors

Constructor and Description
AggressiveTerminalStatement()

Method Summary

Methods inherited from class de.rwth.i2.attestor.semantics.TerminalStatement

computeSuccessors, getPotentialViolationPoints, getSuccessorPCs, needsCanonicalization, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AggressiveTerminalStatement

public AggressiveTerminalStatement()