Struct Set

pub struct Set { /* private fields */ }

A struct representing a set of codes.

Implementations

impl Set

pub fn new_from_code(code: Code) -> Self

Create a new code set, containing only the provided code. This is a free operation.

pub fn insert(&mut self, code: Code)

Insert the given code into this code set.

pub fn intersected_with(self, code_set: Set) -> Set

Get a new code set, that contains only the elements contained in both this set, as well as the provided set.

pub fn union_with(self, code_set: Set) -> Set

Get a new code set that contains all elements contained in either this set, or the provided set.

pub fn empty() -> Set

Return an empty set.

Example

use turing_machine_ai::code::Set;

let empty_set = Set::empty();
assert_eq!(empty_set.size(), 0);

pub fn all() -> Set

Return a set containing all codes.

Example

use turing_machine_ai::code::Set;

let complete_set = Set::all();
assert_eq!(complete_set.size(), 125);

pub fn size(self) -> u32

Get the size of this code set.

Example

use turing_machine_ai::code::Set;
assert_eq!(Set::all().size(), 125);
assert_eq!(Set::empty().size(), 0);

pub fn from_closure(checker: fn(Code) -> bool) -> Self

Construct a new code set based on a closure that returns true for any code that must be in the set.

pub fn contains(self, code: Code) -> bool

Returns whether the given code is part of this set.

use turing_machine_ai::code::{Set, Code};
let code_1 = Code::from_digits(1, 2, 3)?;
let code_2 = Code::from_digits(3, 3, 5)?;
let set = Set::new_from_code(code_1);
assert!(set.contains(code_1));
assert!(!set.contains(code_2));

pub fn into_iter(self) -> impl Iterator<Item = Code>

Create an iterator that goes through every code in this set.

Trait Implementations

impl Clone for Set

fn clone(&self) -> Set

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Set

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

Formats the value using the given formatter.

impl Default for Set

fn default() -> Set

Returns the “default value” for a type.

impl FromIterator<Code> for Set

fn from_iter<T: IntoIterator<Item = Code>>(iter: T) -> Self

Create a new code set containing all codes in the iterator.

impl FromIterator<Set> for Set

fn from_iter<T: IntoIterator<Item = Set>>(iter: T) -> Self

Creates a value from an iterator.

impl Hash for Set

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 Set

fn eq(&self, other: &Set) -> 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 Copy for Set

impl Eq for Set

impl StructuralPartialEq for Set