Package 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, java.lang.Comparable<Literal>

public class InterpretedLiteral
extends Literal

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	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, LiteralParam parameter)	Creates a monadic literal (with only one parameter).
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)

Method Summary

Modifier and Type	Method	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

compareTo, 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