Interface Signed

All Superinterfaces:

Comparable<Logical>, Logical, Serializable

All Known Subinterfaces:

CompiledEvent, Event

All Known Implementing Classes:

Action, CompiledAction, CompiledFluent, CompiledTrigger, Fluent, PrefixFluent, Trigger

public interface Signed
extends Logical

An interface for anything which has a Signature. This class overrides Logical.compareTo(Logical) so that two signed objects will be compared using their signatures.

Author:

Stephen G. Ware

Method Summary

Modifier and Type	Method	Description
default int	compareTo(Logical other)
Signature	getSignature()	Returns the object's signature.

Methods inherited from interface Logical

apply, collect, collect, collect, distinguish, find, find, find, isGround, mustBeGround, occurs, substitute, substitute

Method Details

compareTo

default int compareTo(Logical other)

Specified by:

compareTo in interface Comparable<Logical>

Specified by:

compareTo in interface Logical

getSignature

Signature getSignature()

Returns the object's signature.

Returns:

the signature