pub enum Token {
Or,
Nor,
Xor,
NodeStart,
NodeEnd,
InputDecl,
OutputDecl,
True,
False,
Id(u16),
}Expand description
TØR-G token vocabulary - closed, finite set.
These tokens are the atomic units of the IR. An LLM constrained to emit only valid tokens at each step (via logit masking) will produce syntactically correct boolean circuits.
Variants§
Or
Logical OR: A ∨ B
Nor
Logical NOR: ¬(A ∨ B)
Xor
Logical XOR: A ⊕ B
NodeStart
Begin node definition: ●
NodeEnd
End node definition: ○
InputDecl
Declare external input: ◎IN
OutputDecl
Mark as graph output: ◎OUT
True
Constant true: ◎T
False
Constant false: ◎F
Id(u16)
Identifier (0..65535)
Implementations§
Trait Implementations§
impl Copy for Token
impl Eq for Token
impl StructuralPartialEq for Token
Auto Trait Implementations§
impl Freeze for Token
impl RefUnwindSafe for Token
impl Send for Token
impl Sync for Token
impl Unpin for Token
impl UnwindSafe for Token
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