Package com.articulate.sigma.parsing

Class FormulaAST.RowStruct

java.lang.Object

com.articulate.sigma.parsing.FormulaAST.RowStruct

Enclosing class:

FormulaAST

public class FormulaAST.RowStruct
extends Object

A class for holding information about row variables and the literal in which they appear

Field Summary

Fields

Modifier and Type	Field	Description
int	arity
String	literal
String	pred
String	rowvar

Constructor Summary

Constructors

Constructor	Description
RowStruct()
RowStruct(FormulaAST.RowStruct rs)

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

rowvar

public String rowvar

pred

public String pred

literal

public String literal

arity

public int arity

Constructor Details

RowStruct

public RowStruct()

RowStruct

public RowStruct(FormulaAST.RowStruct rs)

Method Details

toString

public String toString()

Overrides:

toString in class Object