ai.libs.jaicore.logic.fol.structure

Class InterpretedLiteral

java.lang.Object

ai.libs.jaicore.logic.fol.structure.Literal

ai.libs.jaicore.logic.fol.structure.InterpretedLiteral

All Implemented Interfaces:

java.io.Serializable

public class InterpretedLiteral
extends Literal

See Also:

Serialized Form

Field Summary

Fields inherited from class ai.libs.jaicore.logic.fol.structure.Literal

parameters

Constructor Summary

Constructors

Constructor and Description
InterpretedLiteral(Literal l, java.util.Map<VariableParam,? extends LiteralParam> map) Copy constructor for an existing literal under giving mapping.
InterpretedLiteral(java.lang.String property) Protected helper constructor.
InterpretedLiteral(java.lang.String property, java.util.List<LiteralParam> parameters) Creates a literal with a list of parameters.
InterpretedLiteral(java.lang.String predicateName, java.util.List<LiteralParam> params, boolean b)
InterpretedLiteral(java.lang.String property, LiteralParam parameter) Creates a monadic literal (with only one parameter).

Method Summary

Modifier and Type	Method and Description
Literal	clone()
Literal	clone(java.util.Map<? extends VariableParam,? extends LiteralParam> mapping) Creates a copy of this literal on which the given parameter mapping is applied.
java.lang.String	toString()

Methods inherited from class ai.libs.jaicore.logic.fol.structure.Literal

equals, getConstantParams, getParameters, getProperty, getPropertyName, getVariableParams, hashCode, hasVariableParams, isGround, isNegated, isNegationOf, isPositive, toggleNegation, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

InterpretedLiteral

public InterpretedLiteral(Literal l,
                          java.util.Map<VariableParam,? extends LiteralParam> map)

Copy constructor for an existing literal under giving mapping.

Parameters:

l - Literal to be copied

map - Mapping for projecting existing literal to a new literal.

InterpretedLiteral

public InterpretedLiteral(java.lang.String property,
                          LiteralParam parameter)

Creates a monadic literal (with only one parameter).

Parameters:

property - The property defined by this literal.

parameter - The parameter of this literal.

InterpretedLiteral

public InterpretedLiteral(java.lang.String property,
                          java.util.List<LiteralParam> parameters)

Creates a literal with a list of parameters.

Parameters:

property - The property defined by this literal.

parameter - The parameters of this literal defined as a list.

InterpretedLiteral

public InterpretedLiteral(java.lang.String property)

Protected helper constructor. Ensure the literal gets parameters!!

InterpretedLiteral

public InterpretedLiteral(java.lang.String predicateName,
                          java.util.List<LiteralParam> params,
                          boolean b)

Method Detail

clone

public Literal clone()

Overrides:

clone in class Literal

clone

public Literal clone(java.util.Map<? extends VariableParam,? extends LiteralParam> mapping)

Creates a copy of this literal on which the given parameter mapping is applied.

Overrides:

clone in class Literal

Parameters:

mapping - A mapping of parameters.

Returns:

A copy of this literal on which the given parameter mapping is applied.

toString

public java.lang.String toString()

Overrides:

toString in class Literal