Package astra.formula

Class Bind

java.lang.Object

astra.formula.Bind

All Implemented Interfaces:

Formula, Serializable

public class Bind
extends Object
implements Formula

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
Bind(Variable variable, Term term)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
boolean	matches(Formula formula)
Term	term()
String	toString()
Variable	variable()

Methods inherited from class java.lang.Object

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

Constructor Details

Bind

public Bind(Variable variable, Term term)

Method Details

variable

public Variable variable()

term

public Term term()

toString

public String toString()

Overrides:

toString in class Object

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Formula

matches

public boolean matches(Formula formula)

Specified by:

matches in interface Formula