Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Class BooleanBuiltInLiteral

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

public class BooleanBuiltInLiteral
extends BuiltInLiteral

Implementation of BooleanBuiltInLiteral constants TRUE(), and FALSE()

Field Summary

Fields

Modifier and Type	Field	Description
static final String	FALSE
static final String	TRUE

Constructor Summary

Constructors

Constructor	Description
BooleanBuiltInLiteral(boolean value)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(LogicSchemaVisitor<T> visitor)
BooleanBuiltInLiteral	applySubstitution(Substitution substitution)
BooleanBuiltInLiteral	buildNegatedLiteral()	This method builds a new literal that is the negation of this one.
static Optional<Boolean>	fromOperator(String operator)
static String	fromValue(boolean booleanValue)
String	getOperationName()
ImmutableTermList	getTerms()
boolean	isFalse()
boolean	isTrue()
String	toString()

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

canBeNegated, getArity, getUsedVariables, isGround

Methods inherited from class java.lang.Object

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

Field Details

TRUE

public static final String TRUE

See Also:

• Constant Field Values

FALSE

public static final String FALSE

See Also:

• Constant Field Values

Constructor Details

BooleanBuiltInLiteral

public BooleanBuiltInLiteral(boolean value)

Method Details

fromOperator

public static Optional<Boolean> fromOperator(String operator)

fromValue

public static String fromValue(boolean booleanValue)

getOperationName

public String getOperationName()

Specified by:

getOperationName in class BuiltInLiteral

getTerms

public ImmutableTermList getTerms()

Specified by:

getTerms in class Literal

isTrue

public boolean isTrue()

isFalse

public boolean isFalse()

applySubstitution

public BooleanBuiltInLiteral applySubstitution(Substitution substitution)

Specified by:

applySubstitution in class Literal

Parameters:

substitution - not null

Returns:

a literal after applying the given substitution. The literal will be new if some term has changed, otherwise it will be the same

buildNegatedLiteral

public BooleanBuiltInLiteral buildNegatedLiteral()

Description copied from class: Literal

This method builds a new literal that is the negation of this one. E.g.: given an ordinary literal "P(x)" it will return a new literal "not(P(x))", or given a built-in literal "x < y" it will return "x >= y"

Not all built-in literals can be negated. Thus, this function might throw an Exception.

Overrides:

buildNegatedLiteral in class Literal

Returns:

a new literal that is the negation of this literal, if this is possible

accept

public <T> T accept(LogicSchemaVisitor<T> visitor)

Specified by:

accept in class Literal

toString

public String toString()

Overrides:

toString in class Object