Package astra.formula

Class IsNull

java.lang.Object

astra.formula.IsNull

All Implemented Interfaces:

Formula, Serializable

public class IsNull
extends Object
implements Formula

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
IsNull(Term term)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Term	formula()
boolean	matches(Formula formula)

Methods inherited from class java.lang.Object

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

Constructor Details

IsNull

public IsNull(Term term)

Method Details

formula

public Term formula()

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Formula

matches

public boolean matches(Formula formula)

Specified by:

matches in interface Formula