abc.ltl.formulaextraction
Class Formula

java.lang.Object
  extended by 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