Package astra.formula

Class AcreFormula

java.lang.Object

astra.formula.AcreFormula

All Implemented Interfaces:

Formula, Serializable

public class AcreFormula
extends Object
implements Formula

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
AcreFormula(Term cid, Term index, Term type, Term performative, Formula content)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Term	cid()
Formula	content()
Term	index()
boolean	matches(Formula formula)
Term	performative()
Term	type()

Methods inherited from class java.lang.Object

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

Constructor Details

AcreFormula

public AcreFormula(Term cid, Term index, Term type, Term performative, Formula content)

Method Details

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Formula

matches

public boolean matches(Formula formula)

Specified by:

matches in interface Formula

cid

public Term cid()

index

public Term index()

type

public Term type()

performative

public Term performative()

content

public Formula content()