Trait HasDomain 

pub trait HasDomain {
    // Required method
    fn domain_of(&self) -> DomainPtr;
}

Types that have a Domain.

Required Methods

fn domain_of(&self) -> DomainPtr

Gets the Domain of self.

Implementors

impl HasDomain for AbstractLiteral<Literal>

impl HasDomain for Atom

impl HasDomain for Literal

impl HasDomain for DecisionVariable

impl HasDomain for Reference