jpov.structure
Class VirtualFormula

java.lang.Object
  jpov.structure.VirtualFormula

public class VirtualFormula

extends java.lang.Object

This class implements a formula with its corresponding set of boxes.

Author:

L. Burdy

Method Summary

Formula	getF() Returns the f.
java.util.Enumeration	getFlow() Returns the set of box associated to the formula.
byte	getOrigin() Returns the origin.
java.lang.String	toJava(int indent) Converts the current formula to a string suitable for output into the Java view.

Methods inherited from class java.lang.Object

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

Method Detail

toJava

public java.lang.String toJava(int indent)

Converts the current formula to a string suitable for output into the Java view.

Parameters:

indent - The current indentation

Returns:

the converted formula into Java language

getF

public Formula getF()

Returns the f.

Returns:

Formula

getFlow

public java.util.Enumeration getFlow()

Returns the set of box associated to the formula.

getOrigin

public byte getOrigin()

Returns the origin.

Returns:

byte