Enum FeatureBit 

#[repr(u8)]
pub enum FeatureBit {
    Facts = 0,
    HornRules = 1,
    Equality = 2,
    TypedComparisons = 3,
    StratifiedNegation = 4,
    BoundedRecursion = 5,
    ControlledAggregates = 6,
    ContractedForeign = 7,
}

Feature classes admitted by Prolog8 hot tier. ARD section 5.

Variants

Facts = 0

Bit 0 — facts.

HornRules = 1

Bit 1 — Horn rules.

Equality = 2

Bit 2 — equality.

TypedComparisons = 3

Bit 3 — typed comparisons.

StratifiedNegation = 4

Bit 4 — stratified negation.

BoundedRecursion = 5

Bit 5 — bounded recursion.

ControlledAggregates = 6

Bit 6 — controlled aggregates.

ContractedForeign = 7

Bit 7 — contracted foreign predicates.

Implementations

impl FeatureBit

pub const ALL: [FeatureBit; 8]

All admitted feature bits, in order.

pub fn bit(self) -> u8

Bit position (0..=7).

pub fn mask(self) -> u8

Mask with only this bit set.

Trait Implementations

impl Clone for FeatureBit

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FeatureBit

impl Debug for FeatureBit

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FeatureBit

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for FeatureBit

impl PartialEq for FeatureBit

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for FeatureBit

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FeatureBit