pub enum ActionCategory {
NodeExpand,
NodeStateChange,
}Expand description
Action のカテゴリ(探索空間への影響で分類)
§カテゴリ説明
-
NodeExpand: 新しい探索対象を発見する(例: Grep, List)
- 成功時: 発見した対象を新しい Node として追加
- 探索グラフが拡張される
-
NodeStateChange: 既存 Node の状態を遷移させる(例: Read)
- 成功時: 既存 Node の状態を Explored/Completed に更新
- 探索グラフは拡張されない
§例: ファイル探索タスク
Grep("auth") [NodeExpand]
→ 発見: src/auth.rs → 新 Node 追加
Read("src/auth.rs") [NodeStateChange]
→ src/auth.rs Node の状態を Explored に更新
→ 目標ファイルなら CompletedVariants§
Trait Implementations§
Source§impl Clone for ActionCategory
impl Clone for ActionCategory
Source§fn clone(&self) -> ActionCategory
fn clone(&self) -> ActionCategory
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ActionCategory
impl Debug for ActionCategory
Source§impl Default for ActionCategory
impl Default for ActionCategory
Source§fn default() -> ActionCategory
fn default() -> ActionCategory
Returns the “default value” for a type. Read more
Source§impl<'de> Deserialize<'de> for ActionCategory
impl<'de> Deserialize<'de> for ActionCategory
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl PartialEq for ActionCategory
impl PartialEq for ActionCategory
Source§impl Serialize for ActionCategory
impl Serialize for ActionCategory
impl Copy for ActionCategory
impl Eq for ActionCategory
impl StructuralPartialEq for ActionCategory
Auto Trait Implementations§
impl Freeze for ActionCategory
impl RefUnwindSafe for ActionCategory
impl Send for ActionCategory
impl Sync for ActionCategory
impl Unpin for ActionCategory
impl UnwindSafe for ActionCategory
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more