Trait ToLang

pub trait ToLang {
    // Required method
    fn to_lang(&self, problem: &Problem) -> String;
}

Required Methods

fn to_lang(&self, problem: &Problem) -> String

Implementors

impl ToLang for Value

impl ToLang for Response

impl ToLang for Expr

impl ToLang for Search

impl ToLang for Type

impl ToLang for AttributeValue<ClassId>

impl ToLang for AttributeValue<StructureId>

impl ToLang for CallValue

impl ToLang for ClassInstanceValue

impl ToLang for ClassValue

impl ToLang for FunctionValue

impl ToLang for MethodValue<ClassId>

impl ToLang for MethodValue<StructureId>

impl ToLang for Solution

impl ToLang for StrucInstanceValue

impl ToLang for StructureValue

impl ToLang for Class

impl ToLang for Constraint

impl ToLang for Function

impl ToLang for Instance

impl ToLang for Parameter

impl ToLang for Structure

impl ToLang for Variable

impl<T: Id> ToLang for Attribute<T>

impl<T: Id> ToLang for Method<T>