Struct typeql::pattern::RolePlayerConstraint

pub struct RolePlayerConstraint {
    pub role_type: Option<TypeReference>,
    pub player: ConceptVariable,
    pub repetition: u64,
}

Fields

role_type: Option<TypeReference>

player: ConceptVariable

repetition: u64

Implementations

impl RolePlayerConstraint

pub fn new(role_type: Option<TypeReference>, player: ConceptVariable) -> Self

pub fn variables(&self) -> Box<dyn Iterator<Item = VariableRef<'_>> + '_>

Trait Implementations

impl Clone for RolePlayerConstraint

fn clone(&self) -> RolePlayerConstraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RolePlayerConstraint

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

Formats the value using the given formatter.

impl Display for RolePlayerConstraint

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

Formats the value using the given formatter.

impl From<&str> for RolePlayerConstraint

fn from(player_var: &str) -> Self

Converts to this type from the input type.

impl From<(&str, &str)> for RolePlayerConstraint

fn from((role_type, player_var): (&str, &str)) -> Self

Converts to this type from the input type.

impl From<(ConceptVariable, ConceptVariable)> for RolePlayerConstraint

fn from((role_type, player_var): (ConceptVariable, ConceptVariable)) -> Self

Converts to this type from the input type.

impl From<(Label, ConceptVariable)> for RolePlayerConstraint

fn from((role_type, player_var): (Label, ConceptVariable)) -> Self

Converts to this type from the input type.

impl From<(Label, String)> for RolePlayerConstraint

fn from((role_type, player_var): (Label, String)) -> Self

Converts to this type from the input type.

impl From<(String, ConceptVariable)> for RolePlayerConstraint

fn from((role_type, player_var): (String, ConceptVariable)) -> Self

Converts to this type from the input type.

impl From<(String, String)> for RolePlayerConstraint

fn from((role_type, player_var): (String, String)) -> Self

Converts to this type from the input type.

impl From<(TypeReference, ConceptVariable)> for RolePlayerConstraint

fn from((role_type, player_var): (TypeReference, ConceptVariable)) -> Self

Converts to this type from the input type.

impl From<ConceptVariable> for RolePlayerConstraint

fn from(player_var: ConceptVariable) -> Self

Converts to this type from the input type.

impl From<RolePlayerConstraint> for RelationConstraint

fn from(constraint: RolePlayerConstraint) -> Self

Converts to this type from the input type.

impl From<String> for RolePlayerConstraint

fn from(player_var: String) -> Self

Converts to this type from the input type.

impl PartialEq for RolePlayerConstraint

fn eq(&self, other: &RolePlayerConstraint) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Validatable for RolePlayerConstraint

fn validate(&self) -> Result

fn validated(self) -> Result<Self>

impl Eq for RolePlayerConstraint

impl StructuralEq for RolePlayerConstraint

impl StructuralPartialEq for RolePlayerConstraint