Package com.articulate.sigma.parsing

Class FormulaAST.ArgStruct

java.lang.Object

com.articulate.sigma.parsing.FormulaAST.ArgStruct

Enclosing class:

FormulaAST

public class FormulaAST.ArgStruct
extends Object

A class for holding information about constants (non-variables) and the literal in which they appear

Field Summary

Fields

Modifier and Type	Field	Description
int	argPos
String	constant
String	literal
String	pred

Constructor Summary

Constructors

Constructor	Description
ArgStruct()

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

pred

public String pred

literal

public String literal

constant

public String constant

argPos

public int argPos

Constructor Details

ArgStruct

public ArgStruct()

Method Details

toString

public String toString()

Overrides:

toString in class Object