Uses of Class
de.learnlib.algorithm.lsharp.Rule3
-
Packages that use Rule3 Package Description de.learnlib.algorithm.lsharp -
-
Uses of Rule3 in de.learnlib.algorithm.lsharp
Methods in de.learnlib.algorithm.lsharp that return Rule3 Modifier and Type Method Description Rule3LSharpMealyBuilder. getRule3()Returns the current value for the parameterrule3.static Rule3Rule3. valueOf(String name)Returns the enum constant of this type with the specified name.static Rule3[]Rule3. 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 Rule3 Modifier and Type Method Description voidLSharpMealyBuilder. setRule3(Rule3 rule3)Sets the new value for the parameterrule3.LSharpMealyBuilder<I,O>LSharpMealyBuilder. withRule3(Rule3 rule3)Sets the new value for the parameterrule3and returnsthisbuilder instance.Constructors in de.learnlib.algorithm.lsharp with parameters of type Rule3 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)
-