public IEnumerable<LTSTransition> GetOutTransitions(RegularFormula formula) { var matchingActions = LTS.Actions.Where(formula.Matches); var ret = new List<LTSTransition>(); foreach (var action in matchingActions) { List<LTSTransition> list; if (_outTransitions.TryGetValue(action, out list)) ret.AddRange(list); } return ret; }
public IEnumerable <LTSTransition> GetOutTransitions(RegularFormula formula) { var matchingActions = LTS.Actions.Where(formula.Matches); var ret = new List <LTSTransition>(); foreach (var action in matchingActions) { List <LTSTransition> list; if (_outTransitions.TryGetValue(action, out list)) { ret.AddRange(list); } } return(ret); }
public Diamond(RegularFormula regForm, MuFormula formula) { RegularFormula = regForm; Formula = formula; }
public Box(RegularFormula regForm, MuFormula formula) { RegularFormula = regForm; Formula = formula; }
public UnionFormula(RegularFormula left, RegularFormula right) : base("") { Left = left; Right = right; }
public SequenceFormula(RegularFormula first, RegularFormula seq) : base("") /* sequences cannot have multiplier, need to be nested for that */ { First = first; Sequence = seq; }
public NestedFormula(RegularFormula inner, string multiplier) : base(multiplier) { Inner = inner; }
public NegateAction(RegularFormula inner) : base("") { Inner = inner; }
public SequenceFormula(RegularFormula first, RegularFormula seq) : base("") { /* sequences cannot have multiplier, need to be nested for that */ First = first; Sequence = seq; }