Struct Policy 

pub struct Policy {
    pub id: ConceptId,
    pub name: String,
    pub namespace: String,
    pub version: SemanticVersion,
    pub modality: PolicyModality,
    pub kind: PolicyKind,
    pub priority: i32,
    pub rationale: Option<String>,
    pub tags: Vec<String>,
    /* private fields */
}

Fields

id: ConceptId

name: String

namespace: String

version: SemanticVersion

modality: PolicyModality

kind: PolicyKind

priority: i32

rationale: Option<String>

tags: Vec<String>

Implementations

impl Policy

pub fn normalized_expression(&self) -> &NormalizedExpression

Returns the normalized canonical form of this policy’s expression.

Useful for caching, equivalence checking, and deterministic display.

pub fn expression(&self) -> &Expression

Get the policy expression.

pub fn set_expression(&mut self, expr: Expression)

Set the policy expression and invalidate the normalized cache.

pub fn new(name: impl Into<String>, expression: Expression) -> Self

pub fn new_with_namespace( name: impl Into<String>, namespace: impl Into<String>, expression: Expression, ) -> Self

pub fn with_modality(self, modality: PolicyModality) -> Self

pub fn with_version(self, version: SemanticVersion) -> Self

pub fn with_kind(self, kind: PolicyKind) -> Self

pub fn with_priority(self, priority: i32) -> Self

pub fn with_rationale(self, rationale: impl Into<String>) -> Self

pub fn with_tags<I, S>(self, tags: I) -> Self

where I: IntoIterator<Item = S>, S: Into<String>,

pub fn with_metadata( self, kind: Option<PolicyKind>, modality: Option<PolicyModality>, priority: Option<i32>, rationale: Option<String>, tags: Vec<String>, ) -> Self

pub fn kind(&self) -> &PolicyKind

pub fn evaluate(&self, graph: &Graph) -> Result<EvaluationResult, String>

pub fn evaluate_with_mode( &self, graph: &Graph, use_three_valued_logic: bool, ) -> Result<EvaluationResult, String>

Trait Implementations

impl Clone for Policy

fn clone(&self) -> Policy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Policy

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Policy

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Policy

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.