LogicProgram (Averest)

LogicProgram Type

Namespace: Averest.TeachingTools
Assembly: Averest.dll
Parent Module: LogicPrograms
Abbreviation For: Map<string, Set<rule>>
Base Type: obj
All Interfaces: IReadOnlyDictionary<string, Set<rule>> , IReadOnlyCollection<KeyValuePair<string, Set<rule>>> , IStructuralEquatable , IComparable , IDictionary<string, Set<rule>> , ICollection<KeyValuePair<string, Set<rule>>> , IEnumerable<KeyValuePair<string, Set<rule>>> , IEnumerable

a logic program maps each variable to its set of rules; note that x is a fact if prog[x] contains the empty rule set[{pos=set[];neg=set[]}], and x has no rules if prog[x] = set[]

Instance members

Instance member	Description
`this.Count` Full Usage: `this.Count` Returns: `int`	Returns: `int`
`this.IsEmpty` Full Usage: `this.IsEmpty` Returns: `bool`	Returns: `bool`
`this[key]` Full Usage: `this[key]` Parameters: key : `string` Returns: `Set<rule>`	key : `string` Returns: `Set<rule>`
`this.Keys` Full Usage: `this.Keys` Returns: `ICollection<string>`	Returns: `ICollection<string>`
`this.Values` Full Usage: `this.Values` Returns: `ICollection<Set<rule>>`	Returns: `ICollection<Set<rule>>`