hylolib-1.3.1: Tools for hybrid logics related programs

HyLo.InputFile.Parser

Documentation

parse :: [(Token, FilePos)] -> State ParseState ParseOutputSource

initParseState :: (Signature n p r, SignatureType)Source

type ParseState = (StringSignature, SignatureType)Source

data QueryType Source

Constructors

Valid 
Satisfiable 
Retrieve 

Instances

data RelProperty Source

Constructors

Reflexive 
Symmetric 
Transitive 
Functional 
Universal 
Difference 
InverseOf String 
SubsetOf [String] 
Equals [String] 
TClosureOf String 
TRClosureOf String 

Instances

data ParseOutput Source

Constructors

PO 

Fields

relations :: [RelInfo]
 
provers :: [ProverInfo]
 
theory :: [Formula NomSymbol PropSymbol RelSymbol]
 
tasks :: [InferenceTask]
 

Instances

type RelInfo = (String, [RelProperty])Source

type ProverInfo = (String, [(String, String)])Source

type InferenceTask = (QueryType, Maybe String, [Formula NomSymbol PropSymbol RelSymbol])Source