org.bomba_lang.proto

Class Rule

java.lang.Object

org.bomba_lang.proto.Rule

All Implemented Interfaces:

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

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

Base logic rule class. Can be also represented by an Atom, by implicit conversion in the package object.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Rule(scala.collection.immutable.Set<Literal> head, scala.collection.Seq<AtomContainer> body)
Rule(scala.collection.immutable.Set<Literal> head, scala.collection.immutable.Set<Literal> posBody, scala.collection.immutable.Set<Literal> negBody)

Method Summary

Methods

Modifier and Type	Method and Description
protected Rule	and(Rule bodyRule) Parent method for rule -> new body elem append
boolean	applicable(scala.collection.immutable.Set<Literal> i)
boolean	applied(scala.collection.immutable.Set<Literal> i)
scala.collection.immutable.Set<Literal>	body()
scala.collection.immutable.Set<Literal>	getHead()
scala.collection.immutable.Set<Literal>	getNegAtoms()
scala.collection.immutable.Set<Literal>	getPosAtoms()
scala.collection.immutable.Set<Literal>	head()
boolean	modelOf(scala.collection.immutable.Set<Literal> i)
scala.collection.immutable.Set<Literal>	negBody()
scala.collection.immutable.Set<Literal>	posBody()
String	toString()

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 scala.Product

productArity, productElement, productIterator, productPrefix

Methods inherited from interface scala.Equals

canEqual, equals

Constructor Detail

Rule

public Rule(scala.collection.immutable.Set<Literal> head,
    scala.collection.immutable.Set<Literal> posBody,
    scala.collection.immutable.Set<Literal> negBody)

Rule

public Rule(scala.collection.immutable.Set<Literal> head,
    scala.collection.Seq<AtomContainer> body)

Method Detail

head

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

posBody

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

negBody

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

body

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

applicable

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

applied

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

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

getHead

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

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

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

toString

public String toString()

Overrides:

toString in class Object