Enum clingo::ErrorType [] [src]

pub enum ErrorType {
    Success,
    Runtime,
    Logic,
    BadAlloc,
    Unknown,
}

Enumeration of clingo error types for ClingoError.

Variants

Successful API calls

Errors only detectable at runtime like invalid input

Wrong usage of the clingo API

Memory could not be allocated

Errors unrelated to clingo

Trait Implementations

impl Debug for ErrorType
[src]

[src]

Formats the value using the given formatter. Read more

impl Copy for ErrorType
[src]

impl Clone for ErrorType
[src]

[src]

Returns a copy of the value. Read more

1.0.0
[src]

Performs copy-assignment from source. Read more

impl From<i32> for ErrorType
[src]

[src]

Performs the conversion.

Auto Trait Implementations

impl Send for ErrorType

impl Sync for ErrorType