uk.ac.manchester.cs.jfact.kernel

Class SaveStackRare

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.SaveStackRare

All Implemented Interfaces:

Serializable

@PortedFrom(file="tRareSaveStack.h",
            name="TRareSaveStack")
public class SaveStackRare
extends Object
implements Serializable

Rare stack

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SaveStackRare() Default constructor.

Method Summary

Modifier and Type	Method and Description
void	clear() clear stack
void	incLevel() inclrement current level
void	push(Restorer p) add a new object to the stack
void	restore(int level) get all object from the top of the stack with levels greater or equal LEVEL

Methods inherited from class java.lang.Object

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

Constructor Detail

SaveStackRare

public SaveStackRare()

Default constructor.

Method Detail

incLevel

public void incLevel()

inclrement current level

push

public void push(Restorer p)

add a new object to the stack

Parameters:

p - p

restore

@PortedFrom(file="dlCompletionGraph.h",
            name="restore")
public void restore(int level)

get all object from the top of the stack with levels greater or equal LEVEL

Parameters:

level - level

clear

@PortedFrom(file="dlCompletionGraph.h",
            name="clear")
public void clear()

clear stack