public class Program extends Object implements Validating
The Atom2Rule implicit allows to use atoms as arguments (in this case, atoms represent basic rules).
The program guarantees that a predicate has only one arity within it.
| Constructor and Description |
|---|
Program(scala.collection.Seq<Rule> rules) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object obj) |
scala.collection.immutable.Set<scala.Tuple2<String,scala.collection.immutable.Set<Object>>> |
findMismatchedArities() |
boolean |
modelOf(scala.collection.immutable.Set<Literal> i) |
scala.collection.Seq<Rule> |
rules() |
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> |
solve(scala.Function0<Solver> solverGen) |
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> |
solve(Program mergedProgram,
scala.Function0<Solver> solverGen)
Allows for adding program snippets and data, idiomatic to interaction with "normal" code.
|
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> |
solve(scala.collection.Seq<Rule> mergedRule,
scala.Function0<Solver> solverGen)
Same as above, but for rules (TODO: allow implicit into program?)
|
String |
toString() |
scala.collection.Seq<scala.Tuple2<Rule,scala.collection.immutable.Set<scala.Symbol>>> |
unsafeRuleVariablePairs() |
public Program(scala.collection.Seq<Rule> rules)
public scala.collection.Seq<Rule> rules()
public scala.collection.immutable.Set<scala.Tuple2<String,scala.collection.immutable.Set<Object>>> findMismatchedArities()
public scala.collection.Seq<scala.Tuple2<Rule,scala.collection.immutable.Set<scala.Symbol>>> unsafeRuleVariablePairs()
public boolean modelOf(scala.collection.immutable.Set<Literal> i)
modelOf in interface Validatingtrue iff this interpretation is a model of this instancepublic scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> solve(scala.Function0<Solver> solverGen)
public scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> solve(Program mergedProgram, scala.Function0<Solver> solverGen)
Copyright © 2013-2014. All Rights Reserved.