gov.nasa.jpf.vm

Class PredicateMap

java.lang.Object

gov.nasa.jpf.vm.PredicateMap

public abstract class PredicateMap
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int	ref

Constructor Summary

Constructors

Constructor and Description
PredicateMap()

Method Summary

Modifier and Type	Method and Description
abstract void	evaluate()
int	getRef()
abstract java.lang.String	getRep()
void	setRef(int objref)

Methods inherited from class java.lang.Object

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

Field Detail

ref

public int ref

Constructor Detail

PredicateMap

public PredicateMap()

Method Detail

setRef

public void setRef(int objref)

getRef

public int getRef()

evaluate

public abstract void evaluate()

getRep

public abstract java.lang.String getRep()