de.rwth.i2.attestor.programState

Class AtomicPropositions

java.lang.Object

de.rwth.i2.attestor.programState.AtomicPropositions

public class AtomicPropositions
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	ABORTED

Constructor Summary

Constructors

Constructor and Description
AtomicPropositions()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

ABORTED

public static final String ABORTED

See Also:

Constant Field Values

Constructor Detail

AtomicPropositions

public AtomicPropositions()