Package astra.formula

Class Inference

java.lang.Object

astra.formula.Inference

All Implemented Interfaces:

Formula, Serializable

public class Inference
extends Object
implements Formula

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
Inference(Predicate head, Formula body)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Formula	body()
Predicate	head()
boolean	matches(Formula formula)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

Inference

public Inference(Predicate head, Formula body)

Method Details

head

public Predicate head()

body

public Formula body()

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Formula

matches

public boolean matches(Formula formula)

Specified by:

matches in interface Formula

toString

public String toString()

Overrides:

toString in class Object