zsyntax-0.2.0.0: Automated theorem prover for the Zsyntax biochemical calculus

Safe HaskellSafe
LanguageHaskell2010

Otter

Documentation

module Otter.Rule

module Otter.SearchRes

class Subsumable n where Source #

Methods

subsumes :: n -> n -> Bool Source #

Instances
(Ord a, Ord l) => Subsumable (LSequent a l) Source # 
Instance details

Defined in Zsyntax.Labelled.Rule.Interface

Methods

subsumes :: LSequent a l -> LSequent a l -> Bool Source #

Subsumable s => Subsumable (tm ::: s) Source # 
Instance details

Defined in Zsyntax.Labelled.Rule.BipoleRelation

Methods

subsumes :: (tm ::: s) -> (tm ::: s) -> Bool Source #

(Ord a, Ord l) => Subsumable (GoalNSequent a l) Source # 
Instance details

Defined in Zsyntax.Labelled.Rule.Frontier

Methods

subsumes :: GoalNSequent a l -> GoalNSequent a l -> Bool Source #

search :: Subsumable s => [s] -> [s -> Rule s s] -> (s -> Bool) -> (SearchRes s, [s]) Source #