Arg2pSolverFactory
object Arg2pSolverFactory
Functions
Link copied to clipboard
fun default(theory: String = "", settings: ArgLibrary = FlagsBuilder().create(), staticLibs: Iterable<ArgLibrary> = emptyList(), dynamicLibs: Iterable<ArgLibrary> = emptyList()): MutableSolver
Link copied to clipboard
fun of(theory: String, settings: ArgLibrary, staticLibs: Iterable<ArgLibrary>, dynamicLibs: Iterable<ArgLibrary>): MutableSolver
Link copied to clipboard
fun solverOf(arg2p: Arg2pSolver, theory: String, extra: Runtime = Runtime.empty(), output: OutputChannel<String> = OutputChannel.stdOut()): MutableSolver
A solver of the libraries of arg2p, and the extra ones, for theory (its clauses tagged with the identifiers of their comments, see RuleAnnotations): unknown predicates fail (the hooks a theory may define, as conflict/2 and sup/2, are called whether it does or not), what it prints goes to output (the standard output by default)