pub struct ClonePublicInterface { /* private fields */ }Implementations§
Source§impl ClonePublicInterface
impl ClonePublicInterface
Sourcepub fn clean_type_id(&mut self, ty: TypeId) -> TypeId
pub fn clean_type_id(&mut self, ty: TypeId) -> TypeId
TypeId ClonePublicInterface::clean(TypeId ty).
Reference: Module.cpp:167-208.
Source§impl ClonePublicInterface
impl ClonePublicInterface
Sourcepub fn clean_type_pack_id(&mut self, tp: TypePackId) -> TypePackId
pub fn clean_type_pack_id(&mut self, tp: TypePackId) -> TypePackId
TypePackId ClonePublicInterface::clean(TypePackId tp).
Reference: Module.cpp:210-229.
Source§impl ClonePublicInterface
impl ClonePublicInterface
pub fn new( _log: *const TxnLog, _builtin_types: *mut BuiltinTypes, _module: *mut Module, _solver_mode: SolverMode, ) -> Self
Source§impl ClonePublicInterface
impl ClonePublicInterface
Sourcepub fn clone_type(&mut self, ty: TypeId) -> TypeId
pub fn clone_type(&mut self, ty: TypeId) -> TypeId
TypeId ClonePublicInterface::cloneType(TypeId ty).
Reference: Module.cpp:231-245.
Source§impl ClonePublicInterface
impl ClonePublicInterface
Sourcepub fn clone_type_fun(&mut self, tf: &TypeFun) -> TypeFun
pub fn clone_type_fun(&mut self, tf: &TypeFun) -> TypeFun
TypeFun ClonePublicInterface::cloneTypeFun(const TypeFun& tf).
Reference: Module.cpp:260-290.
Source§impl ClonePublicInterface
impl ClonePublicInterface
Sourcepub fn clone_type_pack(&mut self, tp: TypePackId) -> TypePackId
pub fn clone_type_pack(&mut self, tp: TypePackId) -> TypePackId
TypePackId ClonePublicInterface::cloneTypePack(TypePackId tp).
Reference: Module.cpp:246-259.
Source§impl ClonePublicInterface
impl ClonePublicInterface
Sourcepub fn ignore_children_visit_type_id(&mut self, ty: TypeId) -> bool
pub fn ignore_children_visit_type_id(&mut self, ty: TypeId) -> bool
bool ClonePublicInterface::ignoreChildrenVisit(TypeId ty).
Reference: Module.cpp:151-157.
Source§impl ClonePublicInterface
impl ClonePublicInterface
Sourcepub fn ignore_children_visit_type_pack_id(&mut self, tp: TypePackId) -> bool
pub fn ignore_children_visit_type_pack_id(&mut self, tp: TypePackId) -> bool
bool ClonePublicInterface::ignoreChildrenVisit(TypePackId tp).
Reference: Module.cpp:159-165.
Source§impl ClonePublicInterface
impl ClonePublicInterface
Sourcepub fn is_dirty_type_id(&mut self, ty: TypeId) -> bool
pub fn is_dirty_type_id(&mut self, ty: TypeId) -> bool
bool ClonePublicInterface::isDirty(TypeId ty).
Reference: Module.cpp:134-144.
Source§impl ClonePublicInterface
impl ClonePublicInterface
Sourcepub fn is_dirty_type_pack_id(&mut self, tp: TypePackId) -> bool
pub fn is_dirty_type_pack_id(&mut self, tp: TypePackId) -> bool
bool ClonePublicInterface::isDirty(TypePackId tp).
Reference: Module.cpp:146-149.
Source§impl ClonePublicInterface
impl ClonePublicInterface
pub fn is_new_solver(&self) -> bool
Trait Implementations§
Source§impl Clone for ClonePublicInterface
impl Clone for ClonePublicInterface
Source§fn clone(&self) -> ClonePublicInterface
fn clone(&self) -> ClonePublicInterface
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more