Struct clingo::AstStatement

pub struct AstStatement<'a, T: 'a> { /* fields omitted */ }

Representation of a program statement.

Methods

impl<'a, T> AstStatement<'a, T>

pub fn location(&self) -> Location

Get the location of the statement.

pub fn statement_type(&self) -> StatementType

Get the type of the statement.

pub fn rule(&self) -> Result<&Rule, WrapperError>

Get a reference to the rule if the statement is a rule.

pub fn external(&self) -> Result<&External, WrapperError>

Get a reference to the external if the statement type is External.

pub fn project_signature(&self) -> Result<Signature, WrapperError>

Get project signature if the statement type is ProjectAtomSignature.

Trait Implementations

impl<'a, T: Clone + 'a> Clone for AstStatement<'a, T>

fn clone(&self) -> AstStatement<'a, T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.