Class CompiledTrigger

java.lang.Object

edu.uky.cs.nil.sabre.Trigger

edu.uky.cs.nil.sabre.comp.CompiledTrigger

All Implemented Interfaces:

CompiledEvent, Event, Logical, Simplifiable, Signed, Unique, Serializable, Comparable<Logical>

public class CompiledTrigger
extends Trigger
implements CompiledEvent

A compiled trigger is a ground trigger which defines a unique ID number that corresponds to the trigger's index in its compiled problem's set of events, whose precondition is in disjunctive normal form, and whose effect is a clause.

Author:

Stephen G. Ware

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final Clause<Effect>	effect	The trigger's effect as a clause
final int	id	A unique ID number that corresponds to this trigger's index in its compiled problem's set of events
final Disjunction<Clause<Precondition>>	precondition	The trigger's precondition in in disjunctive normal form

Fields inherited from class Trigger

comment, signature

Constructor Summary

Constructors

Constructor	Description
CompiledTrigger(int id, Signature signature, Disjunction<Clause<Precondition>> precondition, Clause<Effect> effect, String comment)	Creates a new compiled trigger.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object other)
Clause<Effect>	getEffect()	Returns a logical expression which becomes true as a result of the event occurring.
int	getID()	Returns the event's unique ID number, which should correspond to this event's index in its compiled problem's set of events.
Disjunction<Clause<Precondition>>	getPrecondition()	Returns a logical expression which must evaluate to true before the event can occur.
int	hashCode()
boolean	isGround()	Tests whether this logical formula is ground, which means that it contains no variables.
CompiledTrigger	simplify()	Returns a logically equivalent but smaller, simpler, or more convenient form of this logical formula.

Methods inherited from class Trigger

apply, compareTo, getComment, getSignature, toString

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface CompiledEvent

getEffect

Methods inherited from interface Event

apply, getComment

Methods inherited from interface Logical

collect, collect, collect, distinguish, find, find, find, mustBeGround, occurs, substitute, substitute

Methods inherited from interface Signed

compareTo, getSignature

Field Details

id

public final int id

A unique ID number that corresponds to this trigger's index in its compiled problem's set of events

precondition

public final Disjunction<Clause<Precondition>> precondition

The trigger's precondition in in disjunctive normal form

effect

public final Clause<Effect> effect

The trigger's effect as a clause

Constructor Details

CompiledTrigger

public CompiledTrigger(int id,
 Signature signature,
 Disjunction<Clause<Precondition>> precondition,
 Clause<Effect> effect,
 String comment)

Creates a new compiled trigger.

Parameters:

id - the trigger's unique ID number

signature - the signature

precondition - the precondition, in disjunctive normal form

effect - the effect, as a clause

comment - the comment

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Trigger

hashCode

public int hashCode()

Specified by:

hashCode in interface Unique

Overrides:

hashCode in class Trigger

isGround

public boolean isGround()

Description copied from interface: Logical

Tests whether this logical formula is ground, which means that it contains no variables.

Specified by:

isGround in interface CompiledEvent

Specified by:

isGround in interface Event

Specified by:

isGround in interface Logical

Returns:

true if this formula contains no variables, false otherwise

simplify

public CompiledTrigger simplify()

Description copied from interface: Simplifiable

Returns a logically equivalent but smaller, simpler, or more convenient form of this logical formula.

Specified by:

simplify in interface CompiledEvent

Specified by:

simplify in interface Event

Specified by:

simplify in interface Simplifiable

Overrides:

simplify in class Trigger

Returns:

a smaller, simpler, or more convenient logical formula which is equivalent to this formula

getPrecondition

public Disjunction<Clause<Precondition>> getPrecondition()

Description copied from interface: Event

Returns a logical expression which must evaluate to true before the event can occur.

Specified by:

getPrecondition in interface CompiledEvent

Specified by:

getPrecondition in interface Event

Overrides:

getPrecondition in class Trigger

Returns:

a logical expression

getEffect

public Clause<Effect> getEffect()

Description copied from interface: Event

Returns a logical expression which becomes true as a result of the event occurring.

Specified by:

getEffect in interface CompiledEvent

Specified by:

getEffect in interface Event

Overrides:

getEffect in class Trigger

Returns:

a logical expression

getID

public int getID()

Description copied from interface: CompiledEvent

Returns the event's unique ID number, which should correspond to this event's index in its compiled problem's set of events.

Specified by:

getID in interface CompiledEvent

Returns:

the event's unique ID number