Yields a int if the PlTerm is a Prolog integer or float that can be converted
without loss to a int. Throws a PlTypeException exception otherwise

C# | Visual Basic | Visual C++ | F# |
public static explicit operator int ( PlTerm term )
Public Shared Narrowing Operator CType ( term As PlTerm ) As Integer
static explicit operator int ( PlTerm term )

- term (PlTerm)
- A PlTerm is a Prolog integer or float that can be converted without loss to a int.

Int32
A C# int
A C# int

Exception | Condition |
---|---|
PlTypeException | Throws a PlTypeException exception if PlType
is not a PlType.PlInteger or a PlType.PlFloat. |
PreconditionException | Is thrown if the operator is used on an uninitialized PlTerm |
Assembly: SwiPlCs (Module: SwiPlCs.dll) Version: 1.1.60601.0 (1.1.60601.0)