abc.ltl.formulaextraction
Class Formula

java.lang.Object
  abc.ltl.formulaextraction.Formula

public class Formula
extends java.lang.Object

Author:

Eric Bodden Models a formula.

Constructor Summary

Formula(java.lang.String formulaString, java.lang.String className, java.lang.String sourceFile, int line)

Method Summary

java.lang.String

getRepresentationForGrammar()

Methods inherited from class java.lang.Object

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

Constructor Detail

Formula

public Formula(java.lang.String formulaString,
               java.lang.String className,
               java.lang.String sourceFile,
               int line)

Parameters:

formulaString - String content of formula

className - class name of the enclosing class (dot format)

sourceFile - name of the source file (if known)

line - (approximate) line number

Method Detail

getRepresentationForGrammar

public java.lang.String getRepresentationForGrammar()

Returns:

representation of formula used in the grammar