Ast.Infon Module


This module defines the following types:

IInfonPrettyPrinter Type

IInfonPrettyPrinter provides an interface to print top-level AST elements

Implemented Interfaces

  • IPrettyPrinter

Methods

Modifiers Return type Method name Method parameters Description
string PrintPolicy Policy Returns a string representation for the given Policy
string PrintSignature Signature Returns a string representation for the given Signature
string PrintAssembly Assembly Returns a string representation for the given Assembly

 

IInfonParser Type

IInfonParser provides an interface for top-level parsers that interpret policies

Implemented Interfaces

  • IParser

Methods

Modifiers Return type Method name Method parameters Description
unit SetParsingContext IParsingContext Sets the IParsingContext implementation
ITerm ParseInfon string Parse an infon (ITerm) from the input string
ITerm ParseRule string Parse a rule (ITerm) from the input string
Policy ParsePolicy string Parse a Policy from the input string
Signature ParseSignature string Parse a Signature from the input string
Assembly ParseAssembly string Parse an Assembly from the input string

 

ActivePatterns Type

Defines the public interface on how to pattern match AST elements defined in the Ast.Infon module

Methods

Modifiers Return type Method name Method parameters Description
static ITerm list option |SeqRule|_| ITerm Active pattern for the sequencing of rules
static unit option |EmptyRule|_| ITerm Active pattern for the empty rule
static ITerm * ITerm option |Rule|_| ITerm Active pattern for the simple rule
static ITerm list option |SeqCondition|_| ITerm Active pattern for the sequencing of conditions
static unit option |EmptyCondition|_| ITerm Active pattern for the empty condition
static ITerm * ITerm option |WireCondition|_| ITerm Active pattern for the upon condition
static ITerm option |KnownCondition|_| ITerm Active pattern for the if condition
static ITerm list option |SeqAction|_| ITerm Active pattern for the sequencing of actions
static unit option |EmptyAction|_| ITerm Active pattern for the empty action
static ITerm * ITerm option |Send|_| ITerm Active pattern for the send action
static ITerm * ITerm option |JustifiedSend|_| ITerm Active pattern for the send with justification action
static ITerm * ITerm option |JustifiedSay|_| ITerm Active pattern for the say with justification action
static ITerm option |Learn|_| ITerm Active pattern for the learn infon action
static ITerm option |Forget|_| ITerm Active pattern for the forget infon action
static ITerm option |Install|_| ITerm Active pattern for the install rule action
static ITerm option |Uninstall|_| ITerm Active pattern for the uninstall rule action
static ISubstrateUpdateTerm option |Apply|_| ITerm Active pattern for the apply substrate update action
static ITerm option |Fresh|_| ITerm Active pattern for the fresh id action
static ITerm option |Complete|_| ITerm Active pattern for complete relation declaration action
static unit option |EmptyInfon|_| ITerm Active pattern for the empty infon
static ISubstrateQueryTerm option |AsInfon|_| ITerm Active pattern for asInfon
static ITerm option |NotInfon|_| ITerm Active pattern for infon negation
static ITerm list option |AndInfon|_| ITerm Active pattern for infon conjunction
static ITerm list option |OrInfon|_| ITerm
static ITerm * ITerm option |ImpliesInfon|_| ITerm Active pattern for infon implication
static ITerm * ITerm option |SaidInfon|_| ITerm Active pattern for said quotation
static ITerm * ITerm option |JustifiedInfon|_| ITerm Active pattern for justified infons (infons with evidence)
static unit option |EmptyEvidence|_| ITerm Active pattern for empty evidence
static ITerm * ISubstitution option |ConcretizationEvidence|_| ITerm Active pattern for concretization of evidence (explicit substitutions)
static ITerm * ITerm option |SignatureEvidence|_| ITerm Active pattern for signed evidence
static ITerm * ITerm option |ModusPonensEvidence|_| ITerm Active pattern for modus ponens evidence
static ITerm * ITerm option |ImplicationIntroductionEvidence|_| ITerm Active pattern for implication introduction evidence
static ITerm list option |AndEvidence|_| ITerm Active pattern for conjunction of evidence
static ITerm * ITerm option |AndEliminationEvidence|_| ITerm Active pattern for conjunction elimination evidence
static ITerm * ITerm option |OrIntroductionEvidence|_| ITerm Active pattern for disjunction introduction evidence
static ISubstrateQueryTerm option |AsInfonEvidence|_| ITerm Active pattern for asInfon evidence (basic theorems)

 

Builders Type

Defines the public interface on how to construct AST elements defined in the Ast.Infon module

Methods

Modifiers Return type Method name Method parameters Description
static ITerm SeqRule ITerm list Build a sequencing of rules
static ITerm RuleRule ITerm, ITerm Build a simple rule
static ITerm SeqCondition ITerm list Build a sequencing of conditions
static ITerm WireCondition ITerm, ITerm Build an upon condition
static ITerm KnownCondition ITerm Build an if condition
static ITerm SeqAction ITerm list Build a sequencing of actions
static ITerm SendAction ITerm, ITerm Build a send action
static ITerm JustifiedSendAction ITerm, ITerm Build a send with justification action
static ITerm JustifiedSayAction ITerm, ITerm Build a say with justification action
static ITerm LearnAction ITerm Build a learn infon action
static ITerm ForgetAction ITerm Build a forget infon action
static ITerm InstallAction ITerm Build an install rule action
static ITerm UninstallAction ITerm Build an uninstall rule action
static ITerm ApplyAction ITerm Build an apply substrate update action
static ITerm FreshAction ITerm Build a fresh id action
static ITerm CompleteAction ITerm Build a complete relation action
static ITerm AsInfon ISubstrateQueryTerm Build an asInfon
static ITerm NotInfon ITerm Build negation of an infon
static ITerm AndInfon ITerm list Build an infon conjunction
static ITerm OrInfon ITerm list
static ITerm ImpliesInfon ITerm, ITerm Build an infon implication
static ITerm SaidInfon ITerm, ITerm Build a said quotation infon
static ITerm JustifiedInfon ITerm, ITerm Build a justified infon (infon with evidence)
static ITerm PrefixedInfon ITerm list, ITerm Build a quotation infon with several principals (e.g., p1 said p2 said p3 said ... i)
static ITerm SignatureEvidence ITerm, ITerm, ITerm Build a signature evidence and wrap it with a ExplicitSubstitutionTerm to prevent it from being substituted
static ITerm ModusPonensEvidence ITerm, ITerm Build a modus ponens evidence / Implication Elimination / ->e
static ITerm ImplicationIntroductionEvidence ITerm, ITerm Build Implication Introduction evidence / ->i
static ITerm AndEvidence ITerm list Build Conjunction Introduction evidence / &i
static ITerm AndEliminationEvidence ITerm, ITerm Build Conjunction Elimination evidence / &e
static ITerm OrIntroductionEvidence ITerm, ITerm Build Disjunction Introduction evidence / i
static ITerm AsInfonEvidence ISubstrateQueryTerm Build asInfon evidence (for basic theorems)

Properties

Return type Property name Description
ITerm EmptyRule Build an empty rule
ITerm EmptyCondition Build an empty condition
ITerm EmptyAction Build an empty action
ITerm EmptyInfon Build an empty infon
ITerm EmptyEvidence Build empty evidence

 

Primitives Type

Defines the primitive functions used to construct Application elements in the Ast module builders

Methods

Modifiers Return type Method name Method parameters Description
static Function option SolveFunction string Given a primitive function name it returns a Fuction, if anyone matches; None otherwise

 

Automatically generated on 7/17/2013 12:17:16 PM
 

Last edited Jul 17, 2013 at 7:21 PM by epavese, version 5

Comments

No comments yet.