org.bomba_lang.proto

Class Literal

java.lang.Object

org.bomba_lang.proto.Literal

All Implemented Interfaces:

Serializable, AtomContainer, Conjunctive, DisjunctiveImplicative, Implicative, Validating, scala.Equals, scala.Product

public class Literal
extends Object
implements Validating, Conjunctive, DisjunctiveImplicative, AtomContainer, scala.Product, scala.Serializable

Basic Literal/Atom, building block of rules.

Implicit conversion to rule available for convenience.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Literal(String name)
Literal(String name, boolean strongNegation, scala.collection.Seq<Object> terms)

Method Summary

Methods

Modifier and Type	Method and Description
protected Rule	and(Rule bodyRule) Parent method for rule -> new body elem append
Literal	apply(scala.collection.Seq<Object> terms)
scala.collection.immutable.Set<Literal>	getHead() Note: this is the same result as for getPosAtoms, take care when composing new rule syntax!
scala.collection.immutable.Set<Literal>	getNegAtoms()
scala.collection.immutable.Set<Literal>	getPosAtoms()
Literal	ground(scala.collection.immutable.Map<Object,Object> variables, scala.collection.immutable.List<Object> assignment) Grounds the given literal.
boolean	modelOf(scala.collection.immutable.Set<Literal> i)
String	name()
protected org.bomba_lang.proto.BodilesRule	or(Literal otherAtom) Parent method for head composition.
boolean	strongNegation()
scala.collection.Seq<Object>	terms()
String	toString()
Rule	v(Rule rule)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.bomba_lang.proto.Conjunctive

and

Methods inherited from interface org.bomba_lang.proto.DisjunctiveImplicative

v

Methods inherited from interface org.bomba_lang.proto.Implicative

implies

Methods inherited from interface scala.Product

productArity, productElement, productIterator, productPrefix

Methods inherited from interface scala.Equals

canEqual, equals

Constructor Detail

Literal

public Literal(String name,
       boolean strongNegation,
       scala.collection.Seq<Object> terms)

Literal

public Literal(String name)

Method Detail

name

public String name()

strongNegation

public boolean strongNegation()

terms

public scala.collection.Seq<Object> terms()

apply

public Literal apply(scala.collection.Seq<Object> terms)

getHead

public scala.collection.immutable.Set<Literal> getHead()

Note: this is the same result as for getPosAtoms, take care when composing new rule syntax!

Specified by:

getHead in interface Implicative

and

protected Rule and(Rule bodyRule)

Description copied from interface: Conjunctive

Parent method for rule -> new body elem append

Specified by:

and in interface Conjunctive

or

protected org.bomba_lang.proto.BodilesRule or(Literal otherAtom)

Description copied from interface: DisjunctiveImplicative

Parent method for head composition.

Specified by:

or in interface DisjunctiveImplicative

getPosAtoms

public scala.collection.immutable.Set<Literal> getPosAtoms()

Specified by:

getPosAtoms in interface AtomContainer

getNegAtoms

public scala.collection.immutable.Set<Literal> getNegAtoms()

Specified by:

getNegAtoms in interface AtomContainer

v

public Rule v(Rule rule)

modelOf

public boolean modelOf(scala.collection.immutable.Set<Literal> i)

Specified by:

modelOf in interface Validating

Returns:

true iff this interpretation is a model of this instance

toString

public String toString()

Overrides:

toString in class Object

ground

public Literal ground(scala.collection.immutable.Map<Object,Object> variables,
             scala.collection.immutable.List<Object> assignment)

Grounds the given literal.