org.bomba_lang.proto

Interface AtomContainer

All Known Implementing Classes:

Literal, Rule

public interface AtomContainer

Helper trait for rule composition.

Method Summary

Methods

Modifier and Type	Method and Description
scala.collection.immutable.Set<Literal>	getNegAtoms()
scala.collection.immutable.Set<Literal>	getPosAtoms()

Method Detail

getPosAtoms

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

getNegAtoms

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