Class SymbolicAtoms

Inheritance

System.Object

SymbolicAtoms

Implements

System.Collections.Generic.IReadOnlyCollection<SymbolicAtom>

System.Collections.Generic.IEnumerable<SymbolicAtom>

System.Collections.Generic.IReadOnlyDictionary<Symbol, SymbolicAtom>

System.Collections.Generic.IReadOnlyCollection<System.Collections.Generic.KeyValuePair<Symbol, SymbolicAtom>>

System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<Symbol, SymbolicAtom>>

System.Collections.IEnumerable

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

Assembly: ClingoSharp.dll

Syntax

public sealed class SymbolicAtoms : IReadOnlyCollection<SymbolicAtom>, IEnumerable<SymbolicAtom>, IReadOnlyDictionary<Symbol, SymbolicAtom>, IReadOnlyCollection<KeyValuePair<Symbol, SymbolicAtom>>, IEnumerable<KeyValuePair<Symbol, SymbolicAtom>>, IEnumerable

Constructors

| Improve this Doc View Source

SymbolicAtoms(SymbolicAtoms)

Declaration

public SymbolicAtoms(SymbolicAtoms clingoSymbolicAtoms)

Parameters

Type	Name	Description
SymbolicAtoms	clingoSymbolicAtoms

Properties

| Improve this Doc View Source

Count

Declaration

public int Count { get; }

Property Value

Type	Description
System.Int32

| Improve this Doc View Source

Item[Symbol]

Declaration

public SymbolicAtom this[Symbol key] { get; }

Parameters

Type	Name	Description
Symbol	key

Property Value

Type	Description
SymbolicAtom

| Improve this Doc View Source

Keys

Declaration

public IEnumerable<Symbol> Keys { get; }

Property Value

Type	Description
System.Collections.Generic.IEnumerable<Symbol>

| Improve this Doc View Source

Signatures

The list of predicate signatures occurring in the program.

The System.Boolean indicates the sign of the signature.

Declaration

public List<Tuple<string, int, bool>> Signatures { get; }

Property Value

Type	Description
System.Collections.Generic.List<System.Tuple<System.String, System.Int32, System.Boolean>>

| Improve this Doc View Source

Values

Declaration

public IEnumerable<SymbolicAtom> Values { get; }

Property Value

Type	Description
System.Collections.Generic.IEnumerable<SymbolicAtom>

Methods

| Improve this Doc View Source

BySignature(String, Int32, Boolean)

Return an iterator over the symbolic atoms with the given signature

Declaration

public IEnumerator<Symbol> BySignature(string name, int arity, bool positive = true)

Parameters

Type	Name	Description
System.String	name	The name of the signature
System.Int32	arity	The arity of the signature
System.Boolean	positive	The sign of the signature

Returns

Type	Description
System.Collections.Generic.IEnumerator<Symbol>	An System.Collections.Generic.IEnumerable<T>

| Improve this Doc View Source

ContainsKey(Symbol)

Declaration

public bool ContainsKey(Symbol key)

Parameters

Type	Name	Description
Symbol	key

Returns

Type	Description
System.Boolean

| Improve this Doc View Source

GetEnumerator()

Declaration

public IEnumerator<SymbolicAtom> GetEnumerator()

Returns

Type	Description
System.Collections.Generic.IEnumerator<SymbolicAtom>

| Improve this Doc View Source

GetModule()

Gets the asociated API module in clingo

Declaration

public static IClingoModule GetModule()

Returns

Type	Description
IClingoModule	The asociated module

| Improve this Doc View Source

GetSymbolicAtomsModule()

Gets the symbolic atoms module in clingo

Declaration

public static ISymbolicAtomsModule GetSymbolicAtomsModule()

Returns

Type	Description
ISymbolicAtomsModule	The symbolic atoms module

| Improve this Doc View Source

TryGetValue(Symbol, out SymbolicAtom)

Declaration

public bool TryGetValue(Symbol key, out SymbolicAtom value)

Parameters

Type	Name	Description
Symbol	key
SymbolicAtom	value

Returns

Type	Description
System.Boolean

Operators

| Improve this Doc View Source

Implicit(SymbolicAtoms to SymbolicAtoms)

Declaration

public static implicit operator SymbolicAtoms(SymbolicAtoms clingoSymbolicAtoms)

Parameters

Type	Name	Description
SymbolicAtoms	clingoSymbolicAtoms

Returns

Type	Description
SymbolicAtoms

| Improve this Doc View Source

Implicit(SymbolicAtoms to SymbolicAtoms)

Declaration

public static implicit operator SymbolicAtoms(SymbolicAtoms symbolicAtoms)

Parameters

Type	Name	Description
SymbolicAtoms	symbolicAtoms

Returns

Type	Description
SymbolicAtoms

Explicit Interface Implementations

| Improve this Doc View Source

IEnumerable<KeyValuePair<Symbol, SymbolicAtom>>.GetEnumerator()

Declaration

IEnumerator<KeyValuePair<Symbol, SymbolicAtom>> IEnumerable<KeyValuePair<Symbol, SymbolicAtom>>.GetEnumerator()

Returns

Type	Description
System.Collections.Generic.IEnumerator<System.Collections.Generic.KeyValuePair<Symbol, SymbolicAtom>>

| Improve this Doc View Source

IEnumerable.GetEnumerator()

Declaration

IEnumerator IEnumerable.GetEnumerator()

Returns

Type	Description
System.Collections.IEnumerator

Implements

System.Collections.Generic.IReadOnlyCollection<T>

System.Collections.Generic.IEnumerable<T>

System.Collections.Generic.IReadOnlyDictionary<TKey, TValue>

System.Collections.Generic.IReadOnlyCollection<T>

System.Collections.Generic.IEnumerable<T>

System.Collections.IEnumerable