module Paramod ( B : Terms.Blob ) :
sig
type bag = B.t Terms.bag * int
- val mk_passive : bag -> B.t * B.t -> bag * B.t Terms.unit_clause
- val mk_goal : bag -> B.t * B.t -> bag * B.t Terms.unit_clause
+ val mk_passive : bag -> B.input * B.input -> bag * B.t Terms.unit_clause
+ val mk_goal : bag -> B.input * B.input -> bag * B.t Terms.unit_clause
val paramod :
- bag -> g_passives:B.t Terms.unit_clause list ->
+ max_steps:int ->
+ ?timeout:float ->
+ bag ->
+ g_passives:B.t Terms.unit_clause list ->
passives:B.t Terms.unit_clause list ->
(B.t Terms.bag * int * int list) list
end