Literal

public interface Literal

Author:: Mathias Hofer

Method Summary

Modifier and Type

Method

Description

static Literal

create()

static Literal

create(String name)

static Literal

createTransient()

Literal

getAtom()

String

getName()

boolean

isPositive()

boolean

isTransient()

Literal

neg()

Returns the negation of this literal.

Method Details
- isTransient
  
  boolean isTransient()
- isPositive
  
  boolean isPositive()
- getAtom
  
  Literal getAtom()
  
  Returns:
  
  this if it is an atom, or else the encapsulated atom if the literal is a negation
- getName
  
  String getName()
  
  Returns:
  
  the name of the literal, can be null
- neg
  
  Literal neg()
  Returns the negation of this literal.
  The following properties hold for every literal l:
  
  l.neg().neg() == l
  l.neg().atom() == l
  
  The following must however not hold for every literal l:
  
  l.neg() == l.neg()
  Returns:
  
  the negation of this literal
- create
  
  static Literal create()
- create
  
  static Literal create(String name)
- createTransient
  
  static Literal createTransient()