Enum VampireTokenType 

pub enum VampireTokenType {
    Eof,
    Whitespace,
    LineComment,
    BlockComment,
    StringLiteral,
    IntegerLiteral,
    RealLiteral,
    Identifier,
    FofKw,
    CnfKw,
    TffKw,
    ThfKw,
    TpiKw,
    IncludeKw,
    AxiomKw,
    HypothesisKw,
    DefinitionKw,
    AssumptionKw,
    LemmaKw,
    TheoremKw,
    ConjectureKw,
    NegatedConjectureKw,
    PlainKw,
    TypeKw,
    FiDomainKw,
    FiFunctorsKw,
    FiPredicatesKw,
    UnknownKw,
    ForallKw,
    ExistsKw,
    AndKw,
    OrKw,
    NotKw,
    ImpliesKw,
    IffKw,
    XorKw,
    NorKw,
    NandKw,
    BoolKw,
    IndividualKw,
    IntKw,
    RealKw,
    RatKw,
    TTypeKw,
    OTypeKw,
    ITypeKw,
    BoolLiteral,
    DoubleEq,
    NotEq,
    LessEq,
    GreaterEq,
    AndAnd,
    OrOr,
    PlusPlus,
    MinusMinus,
    PlusEq,
    MinusEq,
    StarEq,
    SlashEq,
    PercentEq,
    LeftShift,
    RightShift,
    Arrow,
    LeftParen,
    RightParen,
    LeftBracket,
    RightBracket,
    LeftBrace,
    RightBrace,
    Colon,
    Semicolon,
    Dot,
    Comma,
    Question,
    Bang,
    At,
    Hash,
    Dollar,
    Percent,
    Caret,
    Ampersand,
    Star,
    Plus,
    Minus,
    Eq,
    LessThan,
    GreaterThan,
    Slash,
    Backslash,
    Pipe,
    Tilde,
}

Vampire token types.

Variants

Eof

End of file.

Whitespace

Whitespace.

LineComment

Line comment.

BlockComment

Block comment.

StringLiteral

String literal.

IntegerLiteral

Integer literal.

RealLiteral

Real literal.

Identifier

Identifier.

FofKw

The fof keyword (first-order formula).

CnfKw

The cnf keyword (conjunctive normal form).

TffKw

The tff keyword (typed first-order formula).

ThfKw

The thf keyword (typed higher-order formula).

TpiKw

The tpi keyword (typed predicate inference).

IncludeKw

The include keyword.

AxiomKw

The axiom keyword.

HypothesisKw

The hypothesis keyword.

DefinitionKw

The definition keyword.

AssumptionKw

The assumption keyword.

LemmaKw

The lemma keyword.

TheoremKw

The theorem keyword.

ConjectureKw

The conjecture keyword.

NegatedConjectureKw

The negated_conjecture keyword.

PlainKw

The plain keyword.

TypeKw

The type keyword.

FiDomainKw

The fi_domain keyword.

FiFunctorsKw

The fi_functors keyword.

FiPredicatesKw

The fi_predicates keyword.

UnknownKw

The unknown keyword.

ForallKw

The ! (forall) quantifier keyword.

ExistsKw

The ? (exists) quantifier keyword.

AndKw

The & (and) logical operator keyword.

OrKw

The | (or) logical operator keyword.

NotKw

The ~ (not) logical operator keyword.

ImpliesKw

The => (implies) logical operator keyword.

IffKw

The <=> (if and only if) logical operator keyword.

XorKw

The <~> (xor) logical operator keyword.

NorKw

The ~| (nor) logical operator keyword.

NandKw

The ~& (nand) logical operator keyword.

BoolKw

The $bool type keyword.

IndividualKw

The $i (individual) type keyword.

IntKw

The $int type keyword.

RealKw

The $real type keyword.

RatKw

The $rat type keyword.

TTypeKw

The $tType type keyword.

OTypeKw

The $o type keyword.

ITypeKw

The $iType type keyword.

BoolLiteral

Boolean literal ($true or $false).

DoubleEq

The == equality operator.

NotEq

The != inequality operator.

LessEq

The <= less-than-or-equal operator.

GreaterEq

The >= greater-than-or-equal operator.

AndAnd

The && logical and operator.

OrOr

The || logical or operator.

PlusPlus

The ++ increment operator.

MinusMinus

The -- decrement operator.

PlusEq

The += addition assignment operator.

MinusEq

The -= subtraction assignment operator.

StarEq

The *= multiplication assignment operator.

SlashEq

The /= division assignment operator.

PercentEq

The %= modulo assignment operator.

LeftShift

The << left shift operator.

RightShift

The >> right shift operator.

Arrow

The -> arrow operator.

LeftParen

Left parenthesis (.

RightParen

Right parenthesis ).

LeftBracket

Left bracket [.

RightBracket

Right bracket ].

LeftBrace

Left brace {.

RightBrace

Right brace }.

Colon

Colon :.

Semicolon

Semicolon ;.

Dot

Dot ..

Comma

Comma ,.

Question

Question mark ?.

Bang

Exclamation mark !.

At

At sign @.

Hash

Hash #.

Dollar

Dollar sign $.

Percent

Percent %.

Caret

Caret ^.

Ampersand

Ampersand &.

Star

Asterisk *.

Plus

Plus +.

Minus

Minus -.

Eq

Equals =.

LessThan

Less-than <.

GreaterThan

Greater-than >.

Slash

Slash /.

Backslash

Backslash \.

Pipe

Pipe |.

Tilde

Tilde ~.

Trait Implementations

impl Clone for VampireTokenType

fn clone(&self) -> VampireTokenType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VampireTokenType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VampireTokenType

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<VampireTokenType> for VampireElementType

fn from(_: VampireTokenType) -> Self

Converts to this type from the input type.

impl From<VampireTokenType> for u16

fn from(t: VampireTokenType) -> u16

Converts to this type from the input type.

impl From<u16> for VampireTokenType

fn from(i: u16) -> Self

Converts to this type from the input type.

impl Hash for VampireTokenType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for VampireTokenType

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VampireTokenType

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TokenType for VampireTokenType

const END_OF_STREAM: Self = VampireTokenType::Eof

A constant representing the end of the input stream.

type Role = UniversalTokenRole

The associated role type for this token kind.

fn role(&self) -> Self::Role

Returns the general syntactic role of this token.

fn is_role(&self, role: Self::Role) -> bool

Returns true if this token matches the specified language-specific role.

fn is_universal(&self, role: UniversalTokenRole) -> bool

Returns true if this token matches the specified universal role.

fn is_comment(&self) -> bool

Returns true if this token represents a comment.

fn is_whitespace(&self) -> bool

Returns true if this token represents whitespace.

fn is_error(&self) -> bool

Returns true if this token represents an error condition.

fn is_ignored(&self) -> bool

Returns true if this token represents trivia (whitespace, comments, etc.).

fn is_end_of_stream(&self) -> bool

Returns true if this token represents the end of the input stream.

impl Copy for VampireTokenType

impl Eq for VampireTokenType

impl StructuralPartialEq for VampireTokenType