CSY/reowolf Changeset - 79edbf0bebd7 · Centrum Wiskunde & Informatica (CWI)

Changeset - 79edbf0bebd7

Parent rev.

Child rev.

[Not reviewed]

0 2 0

Christopher Esterhuyse - 5 years ago 2020-02-13 09:12:38
christopher.esterhuyse@gmail.com

bit business

2 files changed with 16 insertions and 0 deletions:

Cargo.toml

src/runtime/ecs.rs

0 comments (0 inline, 0 general)

Cargo.toml

➞

Show inline comments

@@ @@ -8,6 +8,7 @@ authors = [ @@
 edition = "2018"
 [dependencies]
 # hibitset = "0.6.2"
 # runtime stuff
 getrandom = "0.1.14" # tiny crate. used to guess controller-id

src/runtime/ecs.rs

➞

Show inline comments

@@ @@ -182,6 +182,21 @@ enum Entity { @@
 fn ecs() {
     let entities: Vec<Entity> = Default::default();
     // invariant: for all ChannelId c, assignments[(c, true)] & assignments[(c, false)] == 0;
     let assignments: HashMap<(ChannelId, bool), BitSet> = Default::default();
     // invariant: for all Keys k0 != k1, keys[k0] & keys[k1] == 0;
     let keys: HashMap<Key, BitSet> = Default::default();
     // invariant: for all Keys k, keys[k] & components == 0;
     let components: BitSet = Default::default();
     // invariant: to_run &!components = 0 i.e. to_run is a subset
     let to_run: BitSet = Default::default();
     // 1.
+}
 /*
 needed operations:
 . insert a payload and overwrite / insert its predicate assignments
 . run all machines that
 */

0 comments (0 inline, 0 general)