Class Part

Struct used to specify the program parts that have to be grounded.

Programs may be structured into parts, which can be grounded independently with Ground(Control, Part[], GroundCallback). Program parts are mainly interesting for incremental grounding and multi-shot solving. For single-shot solving, program parts are not needed.

Inheritance
System.Object
Part
Implements
Inherited Members
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.ToString()
Namespace: ClingoSharp.CoreServices.Types
Assembly: ClingoSharp.CoreServices.dll
Syntax
public sealed class Part : IClingoObject
Remarks

Parts of a logic program without an explicit #program specification are by default put into a program called base without arguments

Properties

| Improve this Doc View Source

Name

name of the program part

Declaration
public string Name { get; set; }
Property Value
Type Description
System.String
| Improve this Doc View Source

Params

array of parameters

Declaration
public Symbol[] Params { get; set; }
Property Value
Type Description
Symbol[]

Implements