org.bomba_lang.proto

Interface Solver

All Known Implementing Classes:

NaiveSolver

public interface Solver

General trait for logic programming solvers, base for any custom implementations.

Method Summary

Methods

Modifier and Type	Method and Description
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	solve(GroundProgram p)
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	solve(Program p)
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	solve(scala.collection.Seq<Rule> r)

Method Detail

solve

scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> solve(scala.collection.Seq<Rule> r)

solve

scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> solve(Program p)

solve

scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> solve(GroundProgram p)