pub trait Externs {
// Required methods
fn deg_ge(&self, v: VertexId, k: u32) -> bool;
fn edge_count_nonincreasing(&self, g0: &GraphRef_, g1: &GraphRef_) -> bool;
fn custom_pred(&self, name: &str, args: &[Value]) -> bool;
}
Expand description
外部述語/測度トレイト
Required Methods§
Sourcefn edge_count_nonincreasing(&self, g0: &GraphRef_, g1: &GraphRef_) -> bool
fn edge_count_nonincreasing(&self, g0: &GraphRef_, g1: &GraphRef_) -> bool
エッジ数が非増加かチェック(停止測度)
Sourcefn custom_pred(&self, name: &str, args: &[Value]) -> bool
fn custom_pred(&self, name: &str, args: &[Value]) -> bool
カスタム述語