org.bomba_lang.proto

Interface Implicative

All Known Subinterfaces:

DisjunctiveImplicative

All Known Implementing Classes:

Literal

public interface Implicative

"Worker" trait for head parts of a rule, specialized specifically to facilitate constraints.

Method Summary

Methods

Modifier and Type	Method and Description
scala.collection.immutable.Set<Literal>	getHead() All atoms in the head of this rule element.
Rule	implies(scala.collection.Seq<AtomContainer> body) Parent method for head -> body append.

Method Detail

getHead

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

All atoms in the head of this rule element.

implies

Rule implies(scala.collection.Seq<AtomContainer> body)

Parent method for head -> body append.