Package com.articulate.sigma

Class FormulaAST.ListTerm

java.lang.Object

com.articulate.sigma.FormulaAST.Term

com.articulate.sigma.FormulaAST.ListTerm

Enclosing class:

FormulaAST

public class FormulaAST.ListTerm
extends FormulaAST.Term

Field Summary

Fields

Modifier and Type	Field	Description
List<FormulaAST.Term>	listElements

Constructor Summary

Constructors

Constructor	Description
ListTerm()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

listElements

public List<FormulaAST.Term> listElements

Constructor Details

ListTerm

public ListTerm()