Package astra.statement

Class ForAll

java.lang.Object

astra.core.AbstractElement

astra.statement.AbstractStatement

astra.statement.ForAll

All Implemented Interfaces:

Statement

public class ForAll
extends AbstractStatement

Constructor Summary

Constructors

Constructor	Description
ForAll(String clazz, int[] data, Variable variable, Term list, Statement body)

Method Summary

Modifier and Type	Method	Description
StatementHandler	getStatementHandler()

Methods inherited from class astra.core.AbstractElement

beginLine, endLine, getASTRAClass, isLinkedToSource, setLocation

Methods inherited from class java.lang.Object

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

Methods inherited from interface astra.statement.Statement

beginLine, endLine, getASTRAClass, isLinkedToSource

Constructor Details

ForAll

public ForAll(String clazz, int[] data, Variable variable, Term list, Statement body)

Method Details

getStatementHandler

public StatementHandler getStatementHandler()