Docs.rs
  • smt-lang-0.7.5
    • smt-lang 0.7.5
    • Permalink
    • Docs.rs crate page
    • LGPL-3.0-only
    • Links
    • Repository
    • crates.io
    • Source
    • Owners
    • DavidD12
    • Dependencies
      • clap ^4.0.18 normal
      • d-stu ^0.1.5 normal
      • fraction ^0.13.0 normal
      • lalrpop-util ^0.19.8 normal
      • line-col ^0.2.1 normal
      • regex ^1.6.0 normal
      • termion ^2.0.1 normal
      • z3 ^0.11.2 normal
      • lalrpop ^0.19.8 build
    • Versions
    • 0% of the crate is documented
  • Platform
    • i686-unknown-linux-gnu
    • x86_64-unknown-linux-gnu
  • Feature flags
  • docs.rs
    • About docs.rs
    • Privacy policy
  • Rust
    • Rust website
    • The Book
    • Standard Library API Reference
    • Rust by Example
    • The Cargo Guide
    • Clippy Documentation

smt_lang0.7.5

GetFromId

Required Methods

  • get

Implementors

In smt_lang::problem

smt_lang::problem

Trait GetFromId

Source
pub trait GetFromId<I: Id, T> {
    // Required method
    fn get(&self, id: I) -> Option<&T>;
}

Required Methods§

Source

fn get(&self, id: I) -> Option<&T>

Implementors§

Source§

impl GetFromId<AttributeId<ClassId>, Attribute<ClassId>> for Class

Source§

impl GetFromId<AttributeId<ClassId>, Attribute<ClassId>> for Problem

Source§

impl GetFromId<AttributeId<StructureId>, Attribute<StructureId>> for Problem

Source§

impl GetFromId<AttributeId<StructureId>, Attribute<StructureId>> for Structure

Source§

impl GetFromId<ClassId, Class> for Problem

Source§

impl GetFromId<ConstraintId, Constraint> for Problem

Source§

impl GetFromId<FunctionId, Function> for Problem

Source§

impl GetFromId<InstanceId, Instance> for Problem

Source§

impl GetFromId<MethodId<ClassId>, Method<ClassId>> for Class

Source§

impl GetFromId<MethodId<ClassId>, Method<ClassId>> for Problem

Source§

impl GetFromId<MethodId<StructureId>, Method<StructureId>> for Problem

Source§

impl GetFromId<MethodId<StructureId>, Method<StructureId>> for Structure

Source§

impl GetFromId<StructureId, Structure> for Problem

Source§

impl GetFromId<VariableId, Variable> for Problem