Uses of Class
de.learnlib.algorithm.lsharp.Rule2
-
Packages that use Rule2 Package Description de.learnlib.algorithm.lsharp -
-
Uses of Rule2 in de.learnlib.algorithm.lsharp
Methods in de.learnlib.algorithm.lsharp that return Rule2 Modifier and Type Method Description Rule2
LSharpMealyBuilder. getRule2()
Returns the current value for the parameterrule2
.static Rule2
Rule2. valueOf(String name)
Returns the enum constant of this type with the specified name.static Rule2[]
Rule2. values()
Returns an array containing the constants of this enum type, in the order they are declared.Methods in de.learnlib.algorithm.lsharp with parameters of type Rule2 Modifier and Type Method Description void
LSharpMealyBuilder. setRule2(Rule2 rule2)
Sets the new value for the parameterrule2
.LSharpMealyBuilder<I,O>
LSharpMealyBuilder. withRule2(Rule2 rule2)
Sets the new value for the parameterrule2
and returnsthis
builder instance.Constructors in de.learnlib.algorithm.lsharp with parameters of type Rule2 Constructor Description LSharpMealy(net.automatalib.alphabet.Alphabet<I> alphabet, AdaptiveMembershipOracle<I,O> oracle, Rule2 rule2, Rule3 rule3, @Nullable net.automatalib.word.Word<I> sinkState, O sinkOutput, Random random)
LSOracle(AdaptiveMembershipOracle<I,O> sul, NormalObservationTree<I,O> obsTree, Rule2 rule2, Rule3 rule3, @Nullable net.automatalib.word.Word<I> sinkState, O sinkOutput, Random random)
-