org.bomba_lang.proto

Interface Validating

All Known Implementing Classes:

GroundProgram, Literal, Program, Rule

public interface Validating

Represents objects that can verify the validity of interpretations.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	modelOf(scala.collection.immutable.Set<Literal> i)

Method Detail

modelOf

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

Returns:

true iff this interpretation is a model of this instance