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 NestedFormula(RegularFormula inner, string multiplier)
: base(multiplier)
{
Inner = inner;
}
public UnionFormula(RegularFormula left, RegularFormula right)
: base("")
{
Left = left;
Right = right;
}
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;
}
public Diamond(RegularFormula regForm, MuFormula formula)
{
RegularFormula = regForm;
Formula = formula;
}
public Box(RegularFormula regForm, MuFormula formula)
{
RegularFormula = regForm;
Formula = formula;
}
