def is_conflicting(fsm, agents, agent, eqclass):
    """
    Return whether the given equivalence class for agent is conflicting or not.
    
    mas -- a multi-agents system;
    agents -- a subset of agents of mas;
    agent -- an agent of agents;
    eqclass -- a subset of moves for agents composed of states equivalent for
               agent.
    
    """
    si = fsm.pick_one_state_inputs(eqclass)
    others_cube = fsm.bddEnc.inputsCube - fsm.inputs_cube_for_agents({agent})
    return (eqclass - (eqclass & si.forsome(fsm.bddEnc.statesCube |
        others_cube))).isnot_false()
