Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog
PlTermV Structure
SwiPlCs interface ► SbsSW.SwiPlCs ► PlTermV
This API is preliminary and subject to change.
This type is used to pass the arguments to a foreign defined predicate (see DelegateParameterVarArgs), construct compound terms (see PlCompound(String, PlTermV) and to create queries (see PlQuery).
The only useful member function is the overloading of [], providing (0-based) access to the elements. Item[([( Int32])]) Range checking is performed and raises a ArgumentOutOfRangeException exception.
Declaration Syntax
C# | Visual Basic | Visual C++ |
public struct PlTermV : IEquatable<PlTermV>
Public Structure PlTermV _ Implements IEquatable(Of PlTermV)
public value class PlTermV : IEquatable<PlTermV>
Members
All Members | Constructors | Methods | Properties | ||
|
|
|
Icon | Member | Description |
---|---|---|
PlTermV(Int32) |
Create a vector of PlTerms with size elements
|
|
PlTermV(PlTerm) |
Create a PlTermV from the given PlTerms.
|
|
PlTermV(PlTerm, PlTerm) |
Create a PlTermV from the given PlTerms.
|
|
PlTermV(PlTerm, PlTerm, PlTerm) |
Create a PlTermV from the given PlTerms.
|
|
PlTermV(array<PlTerm>[]()[][]) |
Create a PlTermV from the given PlTerm[] array.
|
|
Equality(PlTermV, PlTermV) |
|
|
Equals(Object) |
Indicates whether this instance and a specified object are equal.
(Overrides ValueType.Equals(Object).) |
|
Equals(PlTermV) |
Indicates whether the current object is equal to another object of the same type.
|
|
Finalize()()()() |
Allows an Object to attempt to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection.
(Inherited from Object.) |
|
GetHashCode()()()() |
Returns the hash code for this instance.
(Overrides ValueType.GetHashCode()()()().) |
|
GetType()()()() |
Gets the Type of the current instance.
(Inherited from Object.) |
|
Inequality(PlTermV, PlTermV) |
|
|
Item[([( Int32])]) |
A zero based list
|
|
MemberwiseClone()()()() |
Creates a shallow copy of the current Object.
(Inherited from Object.) |
|
Size |
Get the size of a PlTermV
|
|
ToString()()()() |
Returns the fully qualified type name of this instance.
(Inherited from ValueType.) |