Package edu.tufts.hrilab.action.justification

Class AndJustification

java.lang.Object

edu.tufts.hrilab.action.justification.Justification

edu.tufts.hrilab.action.justification.AndJustification

All Implemented Interfaces:

Serializable

public class AndJustification
extends Justification

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
AndJustification()
AndJustification(Justification justification)
AndJustification(Justification j1, Justification j2)

Method Summary

Modifier and Type	Method	Description
void	addJustification(Justification justification)
List<Map<Variable,Symbol>>	getBindings()	Get all the possible bindings for each condition within the justification
Set<Symbol>	getBindings(Variable arg)	Get the bindings for a specific argument
List<Predicate>	getFailedConditions()	Get the conditions which do not hold.
List<Map<Variable,Symbol>>	getFailureBindings()	Get the bindings for the failed conditions.
List<Predicate>	getFailureReason()	Get the conditions which hold in the environment, but cause the failure.
List<Justification>	getJustifications()
List<Predicate>	getPredicates()	Get the entire list of conditions within the justification
String	toString()

Methods inherited from class edu.tufts.hrilab.action.justification.Justification

equals, getStep, getValue, setStep, setValue

Methods inherited from class java.lang.Object

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

Constructor Details

AndJustification

public AndJustification()

AndJustification

public AndJustification(Justification justification)

AndJustification

public AndJustification(Justification j1,
 Justification j2)

Method Details

getPredicates

public List<Predicate> getPredicates()

Description copied from class: Justification

Get the entire list of conditions within the justification

Specified by:

getPredicates in class Justification

Returns:

list of conditions

getBindings

public List<Map<Variable,Symbol>> getBindings()

Description copied from class: Justification

Get all the possible bindings for each condition within the justification

Specified by:

getBindings in class Justification

Returns:

list of the bindings for each condition

getFailedConditions

public List<Predicate> getFailedConditions()

Description copied from class: Justification

Get the conditions which do not hold. This will attempt to bind any free-variables in the failed conditions in the returned values. If multiple binding options exist, a single condition can produce multiple bound conditions.

Specified by:

getFailedConditions in class Justification

Returns:

list of failed predicates

getFailureReason

public List<Predicate> getFailureReason()

Description copied from class: Justification

Get the conditions which hold in the environment, but cause the failure. This will attempt to bind any free-variables in the failed conditions in the returned values. If multiple binding options exist, a single condition can produce multiple bound conditions.

Specified by:

getFailureReason in class Justification

Returns:

list of predicates which hold in the environment

getFailureBindings

public List<Map<Variable,Symbol>> getFailureBindings()

Description copied from class: Justification

Get the bindings for the failed conditions.

Specified by:

getFailureBindings in class Justification

Returns:

list of the bindings for each failed condition

getBindings

public Set<Symbol> getBindings(Variable arg)

Description copied from class: Justification

Get the bindings for a specific argument

Specified by:

getBindings in class Justification

Parameters:

arg - the arg to find bindings for

Returns:

set of bindings for the argument

addJustification

public void addJustification(Justification justification)

getJustifications

public List<Justification> getJustifications()

toString

public String toString()

Overrides:

toString in class Object