README
- ::to_reprSolveError::to_repr
- ::to_reprModel::to_repr
- ::to_rulesModel::to_rules
- ::generateOverlapModel::generate
- ::to_reprOverlapModel::to_repr
- ::generatePatternModel::generate
- ::to_jsonPatternModel::to_json
- ::to_reprPatternModel::to_repr
- ::to_jsonRuleModel::to_json
- ::to_reprRuleModel::to_repr
- ::equalSolution::equal
- ::not_equalSolution::not_equal
- ::renderSolution::render
- ::to_jsonSolution::to_json
- ::to_reprSolution::to_repr
- ::validateSolution::validate
- ::validate_rulesSolution::validate_rules
- ::to_jsonTileDefinition::to_json
- ::to_reprTileDefinition::to_repr
- ::renderTiledModel::render
- ::to_jsonTiledModel::to_json
- ::to_reprTiledModel::to_repr
V
evaluate_json
V
expand_tiles
V
learn_overlap
V
learn_patterns
V
solve
V
solve_rules

wfc

可复现的邻接约束传播、回溯和矛盾报告

Download zip

Author

xiefei-coding

Version

0.5.1

License

MIT

Repository

github.com/xiefei-coding/moonbit-wfc

Last updated

4 hours ago

Downloads

#可执行 API 示例

增加解的尺寸、tile、pin 和四方向邻接约束验证。这些例子调用公开 API，并随 moon test 执行。

///|
test "validate solver result and externally altered tiles" {
  let m = @wfc.Model::{
    labels: ["a", "b"],
    allowed: [[3, 3, 3, 3], [3, 3, 3, 3]],
  }
  match @wfc.solve(m, 3, 3, pins=[(0, 1)]) {
    Some(s) => {
      assert_true(s.validate(m, pins=[(0, 1)]))
      assert_true(!s.validate(m, pins=[(0, 0)]))
      s.tiles[0] = 99
      assert_true(!s.validate(m))
    }
    None => fail("expected solution")
  }
}

此例保留旧 Model 兼容入口。0.4 新增 RuleModel / learn_patterns / expand_tiles；PNG/XML、规模与剩余差距见 README 和 FEATURES。

SolveError

source

pub suberror SolveError {
  Invalid(String)
  BudgetExhausted
} derive(@moonbitlang/core/debug.Debug
Debug)

SolveError::to_repr

source

fn SolveError::to_repr(SolveError) -> @moonbitlang/core/debug.Repr
Repr

Model

source

pub(all) struct Model {
  labels : Array[String]
  allowed : Array[Array[Int]]
} derive(@moonbitlang/core/debug.Debug
Debug)

allowed[tile][direction], directions east, south, west, north.

Model::to_repr

source

fn Model::to_repr(Model) -> @moonbitlang/core/debug.Repr
Repr

Model::to_rules

source

fn Model::to_rules(self : Model, weights? : Array[Int]) -> RuleModel raise SolveError

OverlapModel

source

pub struct OverlapModel {
  size : Int
  patterns : Array[Array[Int]]
  weights : Array[Int]
  model : Model
} derive(@moonbitlang/core/debug.Debug
Debug)

Learned square patterns and their observed frequencies. Symbols may be colors or tiles.

OverlapModel::generate

source

fn OverlapModel::generate(self : OverlapModel, width : Int, height : Int, seed? : UInt, periodic? : Bool, budget? : Int) -> Array[Int]? raise SolveError

Return exactly width*height symbols. Nonperiodic output includes the full edge patches.

OverlapModel::to_repr

source

fn OverlapModel::to_repr(OverlapModel) -> @moonbitlang/core/debug.Repr
Repr

PatternModel

source

pub struct PatternModel {
  size : Int
  patterns : Array[Array[Int]]
  rules : RuleModel
} derive(ToJson, @moonbitlang/core/debug.Debug
Debug)

PatternModel::generate

source

fn PatternModel::generate(self : PatternModel, width : Int, height : Int, seed? : UInt, periodic? : Bool, ground? : Bool, pins? : Array[(Int, Int)], budget? : Int) -> Array[Int]? raise SolveError

PatternModel::to_json

source

fn PatternModel::to_json(PatternModel) -> Json

PatternModel::to_repr

source

fn PatternModel::to_repr(PatternModel) -> @moonbitlang/core/debug.Repr
Repr

RuleModel

source

pub(all) struct RuleModel {
  labels : Array[String]
  neighbors : Array[Array[Array[Int]]]
  weights : Array[Double]
} derive(ToJson, @moonbitlang/core/debug.Debug
Debug)

Explicit neighbor lists, indexed [tile][east,south,west,north]. Unlike Model, tile IDs are not packed into a signed machine integer.

RuleModel::to_json

source

fn RuleModel::to_json(RuleModel) -> Json

RuleModel::to_repr

source

fn RuleModel::to_repr(RuleModel) -> @moonbitlang/core/debug.Repr
Repr

Solution

source

pub struct Solution {
  width : Int
  height : Int
  tiles : Array[Int]
  decisions : Int
  backtracks : Int
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Solution::equal

source

fn Solution::equal(Solution, Solution) -> Bool

Solution::not_equal

source

fn Solution::not_equal(x : Solution, y : Solution) -> Bool

Solution::render

source

fn Solution::render(self : Solution, model : Model) -> String raise SolveError

Solution::to_json

source

fn Solution::to_json(Solution) -> Json

Solution::to_repr

source

fn Solution::to_repr(Solution) -> @moonbitlang/core/debug.Repr
Repr

Solution::validate

source

fn Solution::validate(self : Solution, model : Model, pins? : Array[(Int, Int)], periodic? : Bool) -> Bool

Legacy model validation adapter.

Solution::validate_rules

source

fn Solution::validate_rules(self : Solution, model : RuleModel, pins? : Array[(Int, Int)], restrictions? : Array[(Int, Array[Int])], periodic? : Bool) -> Bool

TileDefinition

source

pub(all) struct TileDefinition {
  name : String
  symmetry : String
  weight : Double
  pixels : Array[Array[Int]]
} derive(ToJson, @moonbitlang/core/debug.Debug
Debug)

D4 symmetry names and orientations follow mxgmn/WaveFunctionCollapse (MIT). Neighbor expansion below applies group actions to a directed spatial edge.

TileDefinition::to_json

source

fn TileDefinition::to_json(TileDefinition) -> Json

TileDefinition::to_repr

source

fn TileDefinition::to_repr(TileDefinition) -> @moonbitlang/core/debug.Repr
Repr

TiledModel

source

pub struct TiledModel {
  rules : RuleModel
  tiles : Array[Array[Int]]
  tile_size : Int
} derive(ToJson, @moonbitlang/core/debug.Debug
Debug)

TiledModel::render

source

fn TiledModel::render(self : TiledModel, solution : Solution) -> Array[Int] raise SolveError

TiledModel::to_json

source

fn TiledModel::to_json(TiledModel) -> Json

TiledModel::to_repr

source

fn TiledModel::to_repr(TiledModel) -> @moonbitlang/core/debug.Repr
Repr

evaluate_json

source

fn evaluate_json(input : String) -> String

Numeric-pixel/file-independent request interface shared by the Node worker and browser worker. File decoding belongs to the host; solving remains MoonBit.

expand_tiles

source

fn expand_tiles(definitions : Array[TileDefinition], tile_size : Int, neighbors : Array[(String, String)], subset? : Array[String]) -> TiledModel raise SolveError

learn_overlap

source

fn learn_overlap(sample : Array[Int], width : Int, height : Int, size : Int, periodic_input? : Bool, symmetry? : Bool) -> OverlapModel raise SolveError

Learn patterns, optionally with all eight rotations/reflections. Current bit-mask solver supports at most 30 unique patterns; excess raises.

learn_patterns

source

fn learn_patterns(sample : Array[Int], width : Int, height : Int, size : Int, periodic_input? : Bool, symmetry? : Int) -> PatternModel raise SolveError

Learn collision-free integer patterns with 1..8 dihedral transforms. Transform order is identity, reflection, quarter-turn, reflection, half-turn, ... .

solve

source

fn solve(model : Model, width : Int, height : Int, seed? : UInt, pins? : Array[(Int, Int)], budget? : Int, weights? : Array[Int], periodic? : Bool) -> Solution? raise SolveError

Legacy integer-mask model adapter; use RuleModel for more than 30 tiles.

solve_rules

source

fn solve_rules(model : RuleModel, width : Int, height : Int, seed? : UInt, pins? : Array[(Int, Int)], restrictions? : Array[(Int, Array[Int])], periodic? : Bool, budget? : Int) -> Solution? raise SolveError

Iterative, reversible constraint propagation with weighted entropy. Limits are 4096 tiles, 65536 cells and two million cell/tile states; budget counts actual removal/counter work. None means complete exhaustion, not a timeout.

Source Files

Site source Report issue Packages Build queue Skills Statistics

wfc

#可执行 API 示例

#SolveError

#SolveError::to_repr

#Model

#Model::to_repr

#Model::to_rules

#OverlapModel

#OverlapModel::generate

#OverlapModel::to_repr

#PatternModel

#PatternModel::generate

#PatternModel::to_json

#PatternModel::to_repr

#RuleModel

#RuleModel::to_json

#RuleModel::to_repr

#Solution

#Solution::equal

#Solution::not_equal

#Solution::render

#Solution::to_json

#Solution::to_repr

#Solution::validate

#Solution::validate_rules

#TileDefinition

#TileDefinition::to_json

#TileDefinition::to_repr

#TiledModel

#TiledModel::render

#TiledModel::to_json

#TiledModel::to_repr

#evaluate_json

#expand_tiles

#learn_overlap

#learn_patterns

#solve

#solve_rules

Source Files

SolveError

SolveError::to_repr

Model

Model::to_repr

Model::to_rules

OverlapModel

OverlapModel::generate

OverlapModel::to_repr

PatternModel

PatternModel::generate

PatternModel::to_json

PatternModel::to_repr

RuleModel

RuleModel::to_json

RuleModel::to_repr

Solution

Solution::equal

Solution::not_equal

Solution::render

Solution::to_json

Solution::to_repr

Solution::validate

Solution::validate_rules

TileDefinition

TileDefinition::to_json

TileDefinition::to_repr

TiledModel

TiledModel::render

TiledModel::to_json

TiledModel::to_repr

evaluate_json

expand_tiles

learn_overlap

learn_patterns

solve

solve_rules