ca.uqac.lif.petitpoucet.function.ltl

Class Globally

java.lang.Object

ca.uqac.lif.dag.Node

ca.uqac.lif.petitpoucet.function.AtomicFunction

ca.uqac.lif.petitpoucet.function.ltl.UnaryOperator

ca.uqac.lif.petitpoucet.function.ltl.Globally

All Implemented Interfaces:

Connectable, Contextualizable, ExplanationQueryable, Function, Queryable, Duplicable

public class Globally
extends UnaryOperator

The LTL "globally" modality.

Author:

Sylvain Hallé

Nested Class Summary

Nested classes/interfaces inherited from class ca.uqac.lif.petitpoucet.function.AtomicFunction

AtomicFunction.AtomicFunctionInputPin, AtomicFunction.AtomicFunctionOutputPin

Field Summary

Fields inherited from class ca.uqac.lif.petitpoucet.function.ltl.UnaryOperator

m_witnesses

Fields inherited from class ca.uqac.lif.petitpoucet.function.AtomicFunction

m_context, m_inputPins, m_outputPins

Fields inherited from class ca.uqac.lif.dag.Node

m_inputs, m_outputs

Constructor Summary

Constructors

Constructor and Description
Globally() Creates a new instance of the operator.

Method Summary

Modifier and Type	Method and Description
Globally	duplicate(boolean with_state) Creates a possibly stateful copy of an object.
PartNode	getExplanation(Part d, NodeFactory factory) Produces an explanation graph for a given part, using nodes provided by a given factory.
protected java.lang.Object[]	getValue(java.lang.Object... inputs) Computes the output value of the function based on input arguments.
java.lang.String	toString()

Methods inherited from class ca.uqac.lif.petitpoucet.function.ltl.UnaryOperator

copyInto, getExplanation, getValue

Methods inherited from class ca.uqac.lif.petitpoucet.function.AtomicFunction

copyInto, duplicate, evaluate, getContext, getExplanation, getInputPin, getOutputPin, reset, setContext

Methods inherited from class ca.uqac.lif.dag.Node

addToInput, addToOutput, copyInto, getInputArity, getInputLinks, getOutputArity, getOutputLinks, removeFromInput, removeFromOutput, setToInput, setToOutput

Methods inherited from class java.lang.Object

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

Methods inherited from interface ca.uqac.lif.dag.Connectable

addToInput, addToOutput, getInputArity, getInputLinks, getOutputArity, getOutputLinks, removeFromInput, removeFromOutput, setToInput, setToOutput

Constructor Detail

Globally

public Globally()

Creates a new instance of the operator.

Method Detail

getValue

protected java.lang.Object[] getValue(java.lang.Object... inputs)
                               throws InvalidNumberOfArgumentsException

Description copied from class: AtomicFunction

Computes the output value of the function based on input arguments.

Specified by:

getValue in class AtomicFunction

Parameters:

inputs - The input arguments.

Returns:

An array corresponding to the output values of the function. The size of this array is equal to the output arity of the function.

Throws:

InvalidNumberOfArgumentsException - If the number of arguments of the method does not equal the input arity of the function

getExplanation

public PartNode getExplanation(Part d,
                               NodeFactory factory)

Description copied from interface: ExplanationQueryable

Produces an explanation graph for a given part, using nodes provided by a given factory.

Specified by:

getExplanation in interface ExplanationQueryable

Overrides:

getExplanation in class AtomicFunction

Parameters:

d - The part used as the starting point of the explanation

factory - The factory that provides nodes

Returns:

A node corresponding to the root of the resulting explanation graph. The root of this graph is always a PartNode with part as its part, and the callee as the subject. Other nodes may or may not be attached to this root, depending on the subject and the explanation.

duplicate

public Globally duplicate(boolean with_state)

Description copied from interface: Duplicable

Creates a possibly stateful copy of an object.

Specified by:

duplicate in interface Duplicable

Overrides:

duplicate in class Node

Parameters:

with_state - Set to true for a stateful copy, false otherwise

Returns:

The object's copy

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object