rule (Averest)

rule Type

Namespace: Averest.TeachingTools
Assembly: Averest.dll
Parent Module: LogicPrograms
Base Type: obj
All Interfaces: IEquatable<rule> , IStructuralEquatable , IComparable<rule> , IComparable , IStructuralComparable

a rule for a variable x consists of positive and negative literals

Record Field	Description
`neg` Full Usage: `neg` Field type: `Set<string>`	Field type: `Set<string>`
`pos` Full Usage: `pos` Field type: `Set<string>`	Field type: `Set<string>`