Class MappedOracle<AI,​AO,​CI,​CO>

  • Type Parameters:
    AI - abstract input symbol type.
    AO - abstract output symbol type.
    CI - concrete input symbol type.
    CO - concrete output symbol type.
    All Implemented Interfaces:
    MembershipOracle<AI,​AO>, BatchProcessor<Query<AI,​AO>>, QueryAnswerer<AI,​AO>, SingleQueryOracle<AI,​AO>

    public class MappedOracle<AI,​AO,​CI,​CO>
    extends Object
    implements SingleQueryOracle<AI,​AO>
    A utility class that allows to lift a membership oracle of concrete input/output symbols to a membership oracle of abstract input/output symbols, given a corresponding mapper.